Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Bob is green. Bob is round. Bob is young. Charlie is cold. Charlie is nice. Charlie is smart. If Anne is round then Anne is quiet. Quiet people are round. If someone is nice and green then they are smart. All round, cold people are quiet. Nice, young people are round. If someone is green and quiet then they are nice. Nice, cold people are quiet. If someone is round and nice then they are cold.
Charlie is round.
@0: Anne is cold.[(triple1 OR ((((triple4) -> rule2) triple3) -> rule8) OR ((((triple3 triple6) -> rule5) triple3) -> rule8) OR ((((triple4) -> rule2) ((triple2 triple4) -> rule6)) -> rule8) OR ((((triple3 triple6) -> rule5) ((triple2 triple4) -> rule6)) -> rule8) OR ((((((triple2 triple4) -> rule6) triple6) -> rule5) triple3) -> rule8) OR ((((((triple2 triple4) -> rule6) triple6) -> rule5) ((triple2 triple4) -> rule6)) -> rule8))] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2 triple4) -> rule6))] Anne is quiet.[(triple4 OR ((triple3 triple1) -> rule7) OR ((((triple3 triple6) -> rule5)) -> rule1) OR ((((triple3 triple6) -> rule5) triple1) -> rule4) OR ((triple3 ((((triple3 triple6) -> rule5) triple3) -> rule8)) -> rule7) OR ((((triple3 triple6) -> rule5) ((((triple3 triple6) -> rule5) triple3) -> rule8)) -> rule4))] Anne is smart.[(triple5 OR ((triple3 triple2) -> rule3) OR ((((triple2 triple4) -> rule6) triple2) -> rule3))] Anne is young.[(triple6)] Bob is green.[(triple7)] Bob is round.[(triple8)] Bob is young.[(triple9)] Charlie is cold.[(triple10)] Charlie is nice.[(triple11)] Charlie is smart.[(triple12)] @1: Anne is round.[(((triple4) -> rule2) OR ((triple3 triple6) -> rule5) OR ((((triple3 triple1) -> rule7)) -> rule2) OR ((((triple2 triple4) -> rule6) triple6) -> rule5))] Charlie is quiet.[(((triple11 triple10) -> rule7))] @2: Charlie is round.[(((((triple11 triple10) -> rule7)) -> rule2))]