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