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