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