Anne is green. Anne is quiet. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is green. Dave is red. Dave is rough. Dave is white. Gary is green. Gary is quiet. Gary is rough. Gary is round. Harry is round. Harry is young. If someone is green then they are rough. If Anne is round and Anne is young then Anne is red. Rough people are red. If someone is quiet and rough then they are green. If Gary is white then Gary is young. If someone is quiet then they are white. If someone is green and round then they are red. If someone is green then they are white.
Harry is quiet.
@0: Anne is green.[(triple1 OR ((triple2 triple4) -> rule4))] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule3) OR ((triple1 triple5) -> rule7) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple2 triple4) -> rule4) triple5) -> rule7))] Anne is rough.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple1) -> rule8) OR ((triple2) -> rule6) OR ((((triple2 triple4) -> rule4)) -> rule8))] Dave is green.[(triple7)] Dave is red.[(triple8 OR ((triple9) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Dave is rough.[(triple9 OR ((triple7) -> rule1))] Dave is white.[(triple10 OR ((triple7) -> rule8))] Gary is green.[(triple11 OR ((triple12 triple13) -> rule4))] Gary is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple11) -> rule1))] Gary is round.[(triple14)] Harry is round.[(triple15)] Harry is young.[(triple16)] @1: Gary is red.[(((triple13) -> rule3) OR ((triple11 triple14) -> rule7) OR ((((triple11) -> rule1)) -> rule3) OR ((((triple12 triple13) -> rule4) triple14) -> rule7))] Gary is white.[(((triple11) -> rule8) OR ((triple12) -> rule6) OR ((((triple12 triple13) -> rule4)) -> rule8))] @2: Gary is young.[(((((triple11) -> rule8)) -> rule5) OR ((((triple12) -> rule6)) -> rule5) OR ((((((triple12 triple13) -> rule4)) -> rule8)) -> rule5))]