Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Fiona is big. Fiona is blue. Fiona is rough. Fiona is round. Harry is big. Harry is nice. Harry is quiet. Harry is rough. If someone is rough and round then they are nice. Rough, kind people are round. All blue people are kind. If Harry is big then Harry is blue. Round people are quiet. All blue people are big.
Harry is kind.
@0: Bob is big.[(triple1 OR ((triple2) -> rule6))] Bob is blue.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule3))] Bob is nice.[(triple4 OR ((triple6 triple7) -> rule1) OR ((triple6 ((triple6 triple3) -> rule2)) -> rule1) OR ((triple6 ((triple6 ((triple2) -> rule3)) -> rule2)) -> rule1))] Bob is quiet.[(triple5 OR ((triple7) -> rule5) OR ((((triple6 triple3) -> rule2)) -> rule5) OR ((((triple6 ((triple2) -> rule3)) -> rule2)) -> rule5))] Bob is rough.[(triple6)] Bob is round.[(triple7 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple2) -> rule3)) -> rule2))] Fiona is big.[(triple8 OR ((triple9) -> rule6))] Fiona is blue.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11 OR ((triple10 ((triple9) -> rule3)) -> rule2))] Harry is big.[(triple12)] Harry is nice.[(triple13 OR ((triple15 ((triple15 ((((triple12) -> rule4)) -> rule3)) -> rule2)) -> rule1))] Harry is quiet.[(triple14 OR ((((triple15 ((((triple12) -> rule4)) -> rule3)) -> rule2)) -> rule5))] Harry is rough.[(triple15)] @1: Fiona is kind.[(((triple9) -> rule3))] Fiona is nice.[(((triple10 triple11) -> rule1) OR ((triple10 ((triple10 ((triple9) -> rule3)) -> rule2)) -> rule1))] Fiona is quiet.[(((triple11) -> rule5) OR ((((triple10 ((triple9) -> rule3)) -> rule2)) -> rule5))] Harry is blue.[(((triple12) -> rule4))] @2: Harry is kind.[(((((triple12) -> rule4)) -> rule3))] @3: Harry is round.[(((triple15 ((((triple12) -> rule4)) -> rule3)) -> rule2))]