Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is round. Bob is white. Bob is young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Fiona is young. If something is white and furry then it is nice. If something is young and quiet then it is round. If Bob is big then Bob is quiet. All white things are young. All nice, quiet things are white. If something is white then it is round.
Fiona is not quiet.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3 OR ((triple6 triple2) -> rule1))] Bob is quiet.[(triple4 OR ((triple1) -> rule3))] Bob is round.[(triple5 OR ((triple6) -> rule6) OR ((triple7 triple4) -> rule2) OR ((((triple3 triple4) -> rule5)) -> rule6) OR ((triple7 ((triple1) -> rule3)) -> rule2) OR ((((triple6) -> rule4) triple4) -> rule2) OR ((((triple6) -> rule4) ((triple1) -> rule3)) -> rule2) OR ((((triple3 ((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((((triple3 triple4) -> rule5)) -> rule4) triple4) -> rule2) OR ((((((triple3 triple4) -> rule5)) -> rule4) ((triple1) -> rule3)) -> rule2) OR ((((((triple3 ((triple1) -> rule3)) -> rule5)) -> rule4) triple4) -> rule2) OR ((((((triple3 ((triple1) -> rule3)) -> rule5)) -> rule4) ((triple1) -> rule3)) -> rule2))] Bob is white.[(triple6 OR ((triple3 triple4) -> rule5) OR ((triple3 ((triple1) -> rule3)) -> rule5))] Bob is young.[(triple7 OR ((triple6) -> rule4) OR ((((triple3 triple4) -> rule5)) -> rule4) OR ((((triple3 ((triple1) -> rule3)) -> rule5)) -> rule4))] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is nice.[(triple10 OR ((triple13 triple9) -> rule1))] Fiona is quiet.[(triple11)] Fiona is round.[(triple12 OR ((triple13) -> rule6) OR ((triple14 triple11) -> rule2) OR ((((triple10 triple11) -> rule5)) -> rule6) OR ((((triple13) -> rule4) triple11) -> rule2) OR ((((((triple10 triple11) -> rule5)) -> rule4) triple11) -> rule2))] Fiona is white.[(triple13 OR ((triple10 triple11) -> rule5))] Fiona is young.[(triple14 OR ((triple13) -> rule4) OR ((((triple10 triple11) -> rule5)) -> rule4))]