Fiona is furry. Fiona is nice. Fiona is red. Gary is furry. Gary is red. Gary is round. Gary is young. Red people are furry. Round, rough people are red. If someone is nice then they are young. All rough, white people are furry. All nice people are round. If Gary is furry and Gary is red then Gary is white. If Fiona is red and Fiona is young then Fiona is furry. If Gary is rough then Gary is nice.
Fiona is red.
@0: Fiona is furry.[(triple1 OR ((triple3) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule7))] Fiona is nice.[(triple2)] Fiona is red.[(triple3)] Gary is furry.[(triple4 OR ((triple5) -> rule1))] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Fiona is round.[(((triple2) -> rule5))] Fiona is young.[(((triple2) -> rule3))] Gary is white.[(((triple4 triple5) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6))]