Dave is kind. Dave is young. Gary is big. Gary is furry. Gary is kind. Harry is big. Harry is nice. If something is white then it is furry. All big things are kind. Kind, big things are white. If something is furry and green then it is big. Young things are nice. If something is green and kind then it is white. If something is kind and nice then it is furry. If Gary is furry and Gary is big then Gary is kind.
Dave is young.
@0: Dave is kind.[(triple1)] Dave is young.[(triple2)] Gary is big.[(triple3)] Gary is furry.[(triple4 OR ((((triple5 triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule2) triple3) -> rule3)) -> rule1))] Gary is kind.[(triple5 OR ((triple3) -> rule2) OR ((triple4 triple3) -> rule8))] Harry is big.[(triple6)] Harry is nice.[(triple7)] @1: Dave is nice.[(((triple2) -> rule5))] Gary is white.[(((triple5 triple3) -> rule3) OR ((((triple3) -> rule2) triple3) -> rule3) OR ((((triple4 triple3) -> rule8) triple3) -> rule3))] Harry is kind.[(((triple6) -> rule2))] @2: Dave is furry.[(((triple1 ((triple2) -> rule5)) -> rule7))] Harry is furry.[(((((triple6) -> rule2) triple7) -> rule7) OR ((((((triple6) -> rule2) triple6) -> rule3)) -> rule1))] Harry is white.[(((((triple6) -> rule2) triple6) -> rule3))]