Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is young. Gary is furry. Gary is kind. Gary is smart. Gary is young. Harry is rough. Harry is young. Smart, round people are rough. If someone is kind then they are green. Young people are kind. If someone is furry and kind then they are round. If someone is round and rough then they are young. If someone is green then they are smart.
Gary is kind.
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2 OR ((triple6) -> rule3) OR ((((triple4 triple3) -> rule5)) -> rule3) OR ((((triple4 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3))] Dave is rough.[(triple3 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple1 triple2) -> rule4)) -> rule1) OR ((triple5 ((triple1 ((triple6) -> rule3)) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule6) triple4) -> rule1) OR ((((((triple2) -> rule2)) -> rule6) ((triple1 triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule2)) -> rule6) triple4) -> rule1) OR ((((((((triple6) -> rule3)) -> rule2)) -> rule6) ((triple1 triple2) -> rule4)) -> rule1) OR ((((((((triple6) -> rule3)) -> rule2)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule4)) -> rule1))] Dave is round.[(triple4 OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple6) -> rule3)) -> rule4))] Dave is smart.[(triple5 OR ((((triple2) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule2)) -> rule6) OR ((((((((triple4 triple3) -> rule5)) -> rule3)) -> rule2)) -> rule6))] Dave is young.[(triple6 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple5 triple4) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule4) triple3) -> rule5) OR ((((triple1 triple2) -> rule4) ((triple5 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple5 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule4) ((triple5 ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) OR ((triple4 ((((((triple2) -> rule2)) -> rule6) triple4) -> rule1)) -> rule5) OR ((triple4 ((((((triple2) -> rule2)) -> rule6) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule4) ((((((triple2) -> rule2)) -> rule6) triple4) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule4) ((((((triple2) -> rule2)) -> rule6) ((triple1 triple2) -> rule4)) -> rule1)) -> rule5))] Gary is furry.[(triple7)] Gary is kind.[(triple8 OR ((triple10) -> rule3))] Gary is smart.[(triple9 OR ((((triple8) -> rule2)) -> rule6) OR ((((((triple10) -> rule3)) -> rule2)) -> rule6))] Gary is young.[(triple10 OR ((((triple7 triple8) -> rule4) ((triple9 ((triple7 triple8) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 triple8) -> rule4) ((((((triple8) -> rule2)) -> rule6) ((triple7 triple8) -> rule4)) -> rule1)) -> rule5))] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Dave is green.[(((triple2) -> rule2) OR ((((triple6) -> rule3)) -> rule2) OR ((((((triple4 triple3) -> rule5)) -> rule3)) -> rule2) OR ((((((triple4 ((triple5 triple4) -> rule1)) -> rule5)) -> rule3)) -> rule2))] Gary is green.[(((triple8) -> rule2) OR ((((triple10) -> rule3)) -> rule2))] Gary is round.[(((triple7 triple8) -> rule4) OR ((triple7 ((triple10) -> rule3)) -> rule4))] Harry is kind.[(((triple12) -> rule3))] @2: Gary is rough.[(((triple9 ((triple7 triple8) -> rule4)) -> rule1) OR ((triple9 ((triple7 ((triple10) -> rule3)) -> rule4)) -> rule1) OR ((((((triple8) -> rule2)) -> rule6) ((triple7 triple8) -> rule4)) -> rule1) OR ((((((triple8) -> rule2)) -> rule6) ((triple7 ((triple10) -> rule3)) -> rule4)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule2)) -> rule6) ((triple7 triple8) -> rule4)) -> rule1) OR ((((((((triple10) -> rule3)) -> rule2)) -> rule6) ((triple7 ((triple10) -> rule3)) -> rule4)) -> rule1))] Harry is green.[(((((triple12) -> rule3)) -> rule2))] @3: Harry is smart.[(((((((triple12) -> rule3)) -> rule2)) -> rule6))]