Fiona is big. Fiona is red. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. All smart, blue people are red. If Fiona is smart and Fiona is green then Fiona is furry. If Fiona is round then Fiona is red. If someone is blue and round then they are green. Furry people are round. All red people are round. Green people are round. If someone is round and blue then they are furry.
Fiona is smart.
@0: Fiona is big.[(triple1)] Fiona is red.[(triple2)] Gary is big.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5 OR ((((triple6) -> rule6) triple4) -> rule8) OR ((((((triple7 triple4) -> rule1)) -> rule6) triple4) -> rule8))] Gary is red.[(triple6 OR ((triple7 triple4) -> rule1))] Gary is smart.[(triple7)] @1: Fiona is round.[(((triple2) -> rule6))] Gary is round.[(((triple5) -> rule5) OR ((triple6) -> rule6) OR ((((triple7 triple4) -> rule1)) -> rule6))] @2: Gary is green.[(((triple4 ((triple5) -> rule5)) -> rule4) OR ((triple4 ((triple6) -> rule6)) -> rule4) OR ((triple4 ((((triple7 triple4) -> rule1)) -> rule6)) -> rule4))]