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