Anne is blue. Anne is quiet. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is quiet. Dave is round. Dave is smart. Fiona is cold. Fiona is rough. Harry is cold. Harry is green. Harry is round. Harry is smart. If Anne is round then Anne is green. All cold, rough people are smart. If someone is quiet and smart then they are cold. If someone is quiet then they are blue. Round people are blue. All green people are cold. If Dave is cold and Dave is quiet then Dave is green. Smart people are quiet.
Fiona is green.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule4) OR ((triple4) -> rule5) OR ((((((((((triple4) -> rule1)) -> rule6) triple3) -> rule2)) -> rule8)) -> rule4))] Anne is quiet.[(triple2 OR ((((((((triple4) -> rule1)) -> rule6) triple3) -> rule2)) -> rule8))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Dave is blue.[(triple5 OR ((triple7) -> rule4) OR ((triple8) -> rule5) OR ((((triple9) -> rule8)) -> rule4))] Dave is cold.[(triple6 OR ((triple7 triple9) -> rule3) OR ((((triple9) -> rule8) triple9) -> rule3))] Dave is quiet.[(triple7 OR ((triple9) -> rule8))] Dave is round.[(triple8)] Dave is smart.[(triple9)] Fiona is cold.[(triple10)] Fiona is rough.[(triple11)] Harry is cold.[(triple12 OR ((triple13) -> rule6) OR ((((triple15) -> rule8) triple15) -> rule3))] Harry is green.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)] @1: Anne is green.[(((triple4) -> rule1))] Dave is green.[(((triple6 triple7) -> rule7) OR ((triple6 ((triple9) -> rule8)) -> rule7) OR ((((triple7 triple9) -> rule3) triple7) -> rule7) OR ((((triple7 triple9) -> rule3) ((triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule8) triple9) -> rule3) triple7) -> rule7) OR ((((((triple9) -> rule8) triple9) -> rule3) ((triple9) -> rule8)) -> rule7))] Fiona is smart.[(((triple10 triple11) -> rule2))] Harry is blue.[(((triple14) -> rule5) OR ((((triple15) -> rule8)) -> rule4))] Harry is quiet.[(((triple15) -> rule8))] @2: Anne is cold.[(((((triple4) -> rule1)) -> rule6))] Fiona is quiet.[(((((triple10 triple11) -> rule2)) -> rule8))] @3: Anne is smart.[(((((((triple4) -> rule1)) -> rule6) triple3) -> rule2))] Fiona is blue.[(((((((triple10 triple11) -> rule2)) -> rule8)) -> rule4))]