Bob is big. Bob is cold. Bob is not furry. Bob is rough. Bob is not white. Fiona is big. Fiona is furry. Fiona is green. Fiona is young. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is rough. Harry is white. Harry is young. If something is white and not green then it is furry. White things are young. If Harry is not green then Harry is not rough. All young, white things are rough. All cold things are big. All big, young things are cold. If something is furry and not green then it is cold. If something is green and not young then it is cold.
Bob is young.
@0: Bob is big.[(triple1 OR ((triple2) -> rule5))] Bob is cold.[(triple2)] Bob is not furry.[(triple3)] Bob is not white.[(triple5)] Bob is rough.[(triple4)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is green.[(triple8)] Fiona is young.[(triple9)] Harry is big.[(triple10 OR ((triple11) -> rule5))] Harry is cold.[(triple11 OR ((triple10 triple16) -> rule6) OR ((triple10 ((triple15) -> rule2)) -> rule6))] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is rough.[(triple14 OR ((triple16 triple15) -> rule4) OR ((((triple15) -> rule2) triple15) -> rule4))] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule2))] @1: Fiona is cold.[(((triple6 triple9) -> rule6))]