Anne is smart. Dave is rough. Fiona is red. Fiona is white. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. If someone is rough then they are furry. White people are rough. All smart people are white. All kind people are smart. If Fiona is furry then Fiona is red. If Dave is smart and Dave is furry then Dave is red.
Anne is kind.
@0: Anne is smart.[(triple1)] Dave is rough.[(triple2)] Fiona is red.[(triple3 OR ((((((triple4) -> rule2)) -> rule1)) -> rule5))] Fiona is white.[(triple4)] Gary is furry.[(triple5 OR ((((triple10) -> rule2)) -> rule1) OR ((((((triple9) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule3)) -> rule2)) -> rule1))] Gary is green.[(triple6)] Gary is kind.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9 OR ((triple7) -> rule4))] Gary is white.[(triple10 OR ((triple9) -> rule3) OR ((((triple7) -> rule4)) -> rule3))] @1: Anne is white.[(((triple1) -> rule3))] Dave is furry.[(((triple2) -> rule1))] Fiona is rough.[(((triple4) -> rule2))] Gary is rough.[(((triple10) -> rule2) OR ((((triple9) -> rule3)) -> rule2) OR ((((((triple7) -> rule4)) -> rule3)) -> rule2))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule2))] Fiona is furry.[(((((triple4) -> rule2)) -> rule1))] @3: Anne is furry.[(((((((triple1) -> rule3)) -> rule2)) -> rule1))]