Anne is red. Charlie is cold. Charlie is quiet. Charlie is not round. Charlie is young. Dave is round. Dave is not young. Gary is green. Gary is quiet. Gary is not red. Gary is round. Gary is young. If someone is quiet then they are nice. If someone is round and quiet then they are nice. If Anne is red then Anne is round. Nice, young people are green. Round people are green. Nice, round people are not cold. If someone is green then they are quiet.
Anne is not round.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is not round.[(triple4)] Charlie is quiet.[(triple3)] Charlie is young.[(triple5)] Dave is not young.[(triple7)] Dave is round.[(triple6)] Gary is green.[(triple8 OR ((triple11) -> rule5) OR ((((triple9) -> rule1) triple12) -> rule4) OR ((((triple11 triple9) -> rule2) triple12) -> rule4))] Gary is not red.[(triple10)] Gary is quiet.[(triple9 OR ((triple8) -> rule7) OR ((((triple11) -> rule5)) -> rule7))] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Anne is round.[(((triple1) -> rule3))] Charlie is nice.[(((triple3) -> rule1))] Dave is green.[(((triple6) -> rule5))] Gary is nice.[(((triple9) -> rule1) OR ((triple11 triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule1) OR ((triple11 ((triple8) -> rule7)) -> rule2) OR ((((((triple11) -> rule5)) -> rule7)) -> rule1) OR ((triple11 ((((triple11) -> rule5)) -> rule7)) -> rule2))] @2: Anne is green.[(((((triple1) -> rule3)) -> rule5))] Charlie is green.[(((((triple3) -> rule1) triple5) -> rule4))] Dave is quiet.[(((((triple6) -> rule5)) -> rule7))] Gary is not cold.[(((((triple9) -> rule1) triple11) -> rule6) OR ((((triple11 triple9) -> rule2) triple11) -> rule6) OR ((((((triple8) -> rule7)) -> rule1) triple11) -> rule6) OR ((((triple11 ((triple8) -> rule7)) -> rule2) triple11) -> rule6) OR ((((((((triple11) -> rule5)) -> rule7)) -> rule1) triple11) -> rule6) OR ((((triple11 ((((triple11) -> rule5)) -> rule7)) -> rule2) triple11) -> rule6))] @3: Anne is quiet.[(((((((triple1) -> rule3)) -> rule5)) -> rule7))] Dave is nice.[(((((((triple6) -> rule5)) -> rule7)) -> rule1) OR ((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule2))] @4: Anne is nice.[(((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule1) OR ((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule2))] Dave is not cold.[(((((((((triple6) -> rule5)) -> rule7)) -> rule1) triple6) -> rule6) OR ((((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule2) triple6) -> rule6))] @5: Anne is not cold.[(((((((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule1) ((triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule3) ((((((triple1) -> rule3)) -> rule5)) -> rule7)) -> rule2) ((triple1) -> rule3)) -> rule6))]