Bob is nice. Bob is quiet. Bob is red. Bob is rough. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is round. Gary is big. Gary is quiet. Harry is nice. Harry is quiet. Harry is rough. Harry is round. If something is nice then it is round. All green things are round. If Gary is rough and Gary is big then Gary is round. Round things are big. Red, green things are rough. Quiet, big things are green.
Harry is not red.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple3 ((triple2 ((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Dave is green.[(triple5 OR ((triple7 ((triple9) -> rule4)) -> rule6) OR ((triple7 ((((triple6) -> rule1)) -> rule4)) -> rule6))] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is round.[(triple9 OR ((triple5) -> rule2) OR ((triple6) -> rule1))] Gary is big.[(triple10)] Gary is quiet.[(triple11)] Harry is nice.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple12) -> rule1))] @1: Bob is round.[(((triple1) -> rule1))] Dave is big.[(((triple9) -> rule4) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple6) -> rule1)) -> rule4))] Dave is rough.[(((triple8 triple5) -> rule5) OR ((triple8 ((triple7 ((triple9) -> rule4)) -> rule6)) -> rule5) OR ((triple8 ((triple7 ((((triple6) -> rule1)) -> rule4)) -> rule6)) -> rule5))] Gary is green.[(((triple11 triple10) -> rule6))] Harry is big.[(((triple15) -> rule4) OR ((((triple12) -> rule1)) -> rule4))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule4))] Gary is round.[(((((triple11 triple10) -> rule6)) -> rule2))] Harry is green.[(((triple13 ((triple15) -> rule4)) -> rule6) OR ((triple13 ((((triple12) -> rule1)) -> rule4)) -> rule6))] @3: Bob is green.[(((triple2 ((((triple1) -> rule1)) -> rule4)) -> rule6))]