Anne is blue. Anne is quiet. Anne is rough. Bob is blue. Bob is green. Bob is rough. Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is white. Harry is big. Harry is green. Harry is rough. If Fiona is blue and Fiona is big then Fiona is rough. If someone is rough and white then they are quiet. All green people are white.
Bob is rough.
@0: Anne is blue.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is rough.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple9) -> rule3)) -> rule2) OR ((((triple8 triple7) -> rule1) triple12) -> rule2) OR ((((triple8 triple7) -> rule1) ((triple9) -> rule3)) -> rule2))] Fiona is rough.[(triple11 OR ((triple8 triple7) -> rule1))] Fiona is white.[(triple12 OR ((triple9) -> rule3))] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is rough.[(triple15)] @1: Bob is white.[(((triple5) -> rule3))] Harry is white.[(((triple14) -> rule3))] @2: Bob is quiet.[(((triple6 ((triple5) -> rule3)) -> rule2))] Harry is quiet.[(((triple15 ((triple14) -> rule3)) -> rule2))]