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