Dave is big. Dave is furry. Dave is kind. Dave is smart. Gary is big. Gary is blue. Gary is young. If Gary is red and Gary is smart then Gary is young. If someone is kind and young then they are furry. If someone is kind and blue then they are young. Big people are kind. All furry people are smart. Smart, kind people are blue.
Gary is young.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple3 ((triple3 ((triple4 triple3) -> rule6)) -> rule3)) -> rule2) OR ((triple3 ((((triple1) -> rule4) ((triple4 triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple4 triple3) -> rule6)) -> rule3)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple4 triple3) -> rule6)) -> rule3)) -> rule2) OR ((triple3 ((triple3 ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule2) OR ((triple3 ((((triple1) -> rule4) ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3)) -> rule2))] Dave is kind.[(triple3 OR ((triple1) -> rule4))] Dave is smart.[(triple4 OR ((triple2) -> rule5))] Gary is big.[(triple5)] Gary is blue.[(triple6 OR ((((((((triple5) -> rule4) triple7) -> rule2)) -> rule5) ((triple5) -> rule4)) -> rule6))] Gary is young.[(triple7 OR ((((triple5) -> rule4) triple6) -> rule3))] @1: Dave is blue.[(((triple4 triple3) -> rule6) OR ((triple4 ((triple1) -> rule4)) -> rule6) OR ((((triple2) -> rule5) triple3) -> rule6) OR ((((triple2) -> rule5) ((triple1) -> rule4)) -> rule6))] Gary is kind.[(((triple5) -> rule4))] @2: Dave is young.[(((triple3 ((triple4 triple3) -> rule6)) -> rule3) OR ((((triple1) -> rule4) ((triple4 triple3) -> rule6)) -> rule3) OR ((triple3 ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule5) triple3) -> rule6)) -> rule3) OR ((triple3 ((((triple2) -> rule5) ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple1) -> rule4) ((triple4 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple1) -> rule4) ((((triple2) -> rule5) triple3) -> rule6)) -> rule3) OR ((((triple1) -> rule4) ((((triple2) -> rule5) ((triple1) -> rule4)) -> rule6)) -> rule3))] Gary is furry.[(((((triple5) -> rule4) triple7) -> rule2) OR ((((triple5) -> rule4) ((((triple5) -> rule4) triple6) -> rule3)) -> rule2))] @3: Gary is smart.[(((((((triple5) -> rule4) triple7) -> rule2)) -> rule5) OR ((((((triple5) -> rule4) ((((triple5) -> rule4) triple6) -> rule3)) -> rule2)) -> rule5))]