Bob is big. Bob is green. Charlie is green. Charlie is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is young. Harry is furry. Harry is rough. Harry is young. Rough, cold things are furry. If Charlie is rough then Charlie is cold. If something is cold then it is furry. If Fiona is blue then Fiona is young. All young things are big. Green things are cold.
Charlie is not big.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Charlie is green.[(triple3)] Charlie is rough.[(triple4)] Fiona is big.[(triple5 OR ((triple9) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((((triple8) -> rule6)) -> rule3))] Fiona is green.[(triple8)] Fiona is young.[(triple9 OR ((triple6) -> rule4))] Harry is furry.[(triple10)] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Bob is cold.[(((triple2) -> rule6))] Charlie is cold.[(((triple3) -> rule6) OR ((triple4) -> rule2))] Fiona is cold.[(((triple8) -> rule6))] Harry is big.[(((triple12) -> rule5))] @2: Bob is furry.[(((((triple2) -> rule6)) -> rule3))] Charlie is furry.[(((((triple3) -> rule6)) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((triple4 ((triple3) -> rule6)) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1))]