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