Anne is big. Anne is furry. Anne is red. Erin is blue. Erin is cold. Erin is furry. Erin is nice. Fiona is blue. Fiona is not cold. Fiona is furry. Fiona is not nice. Fiona is red. Gary is big. Gary is not cold. Gary is red. Gary is young. If Erin is young then Erin is nice. Blue things are red. If something is nice then it is red. If something is nice and red then it is big. If Fiona is young and Fiona is not cold then Fiona is not furry. If Erin is big then Erin is cold.
Gary is blue.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is red.[(triple3)] Erin is blue.[(triple4)] Erin is cold.[(triple5 OR ((((triple7 ((triple4) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 ((triple7) -> rule3)) -> rule4)) -> rule6))] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple10)] Fiona is not cold.[(triple9)] Fiona is not nice.[(triple11)] Fiona is red.[(triple12 OR ((triple8) -> rule2))] Gary is big.[(triple13)] Gary is not cold.[(triple14)] Gary is red.[(triple15)] Gary is young.[(triple16)] @1: Erin is red.[(((triple4) -> rule2) OR ((triple7) -> rule3))] @2: Erin is big.[(((triple7 ((triple4) -> rule2)) -> rule4) OR ((triple7 ((triple7) -> rule3)) -> rule4))]