Bob is blue. Bob is nice. Charlie is furry. Fiona is big. Fiona is blue. Fiona is not green. Fiona is rough. Harry is big. Harry is green. Harry is nice. Harry is rough. Harry is white. If someone is furry then they are blue. If someone is green and not blue then they are nice. If someone is nice and not blue then they are not big. Nice people are big. Big people are white. White people are rough. If Charlie is white then Charlie is not rough. If Harry is big then Harry is nice.
Harry is not furry.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Charlie is furry.[(triple3)] Fiona is big.[(triple4)] Fiona is blue.[(triple5)] Fiona is not green.[(triple6)] Fiona is rough.[(triple7 OR ((((triple4) -> rule5)) -> rule6))] Harry is big.[(triple8 OR ((triple10) -> rule4))] Harry is green.[(triple9)] Harry is nice.[(triple10 OR ((triple8) -> rule8))] Harry is rough.[(triple11 OR ((triple12) -> rule6) OR ((((triple8) -> rule5)) -> rule6) OR ((((((triple10) -> rule4)) -> rule5)) -> rule6))] Harry is white.[(triple12 OR ((triple8) -> rule5) OR ((((triple10) -> rule4)) -> rule5))] @1: Bob is big.[(((triple2) -> rule4))] Charlie is blue.[(((triple3) -> rule1))] Fiona is white.[(((triple4) -> rule5))] @2: Bob is white.[(((((triple2) -> rule4)) -> rule5))] @3: Bob is rough.[(((((((triple2) -> rule4)) -> rule5)) -> rule6))]