Bob is big. Bob is cold. Bob is rough. Bob is round. Erin is red. Erin is round. Fiona is cold. Fiona is red. Fiona is round. Fiona is smart. All smart, cold things are red. Round, red things are rough. Red, cold things are smart. All rough, red things are blue. If something is round and cold then it is smart. If Fiona is blue then Fiona is red. If Fiona is smart and Fiona is big then Fiona is round. If Erin is big and Erin is blue then Erin is red.
Fiona is not big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is rough.[(triple3 OR ((triple4 ((((triple4 triple2) -> rule5) triple2) -> rule1)) -> rule2))] Bob is round.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8 OR ((triple10 triple7) -> rule1) OR ((((triple9 triple7) -> rule5) triple7) -> rule1))] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple8 triple7) -> rule3) OR ((triple9 triple7) -> rule5))] @1: Bob is smart.[(((triple4 triple2) -> rule5))] Erin is rough.[(((triple6 triple5) -> rule2))] Fiona is rough.[(((triple9 triple8) -> rule2) OR ((triple9 ((triple10 triple7) -> rule1)) -> rule2) OR ((triple9 ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule2))] @2: Bob is red.[(((((triple4 triple2) -> rule5) triple2) -> rule1))] Erin is blue.[(((((triple6 triple5) -> rule2) triple5) -> rule4))] Fiona is blue.[(((((triple9 triple8) -> rule2) triple8) -> rule4) OR ((((triple9 triple8) -> rule2) ((triple10 triple7) -> rule1)) -> rule4) OR ((((triple9 ((triple10 triple7) -> rule1)) -> rule2) triple8) -> rule4) OR ((((triple9 triple8) -> rule2) ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((((triple9 ((triple10 triple7) -> rule1)) -> rule2) ((triple10 triple7) -> rule1)) -> rule4) OR ((((triple9 ((triple10 triple7) -> rule1)) -> rule2) ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule2) triple8) -> rule4) OR ((((triple9 ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule2) ((triple10 triple7) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule2) ((((triple9 triple7) -> rule5) triple7) -> rule1)) -> rule4))] @3: Bob is blue.[(((triple3 ((((triple4 triple2) -> rule5) triple2) -> rule1)) -> rule4) OR ((((triple4 ((((triple4 triple2) -> rule5) triple2) -> rule1)) -> rule2) ((((triple4 triple2) -> rule5) triple2) -> rule1)) -> rule4))]