Anne is big. Anne is quiet. Anne is round. Dave is nice. Dave is quiet. Dave is young. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is young. Gary is nice. Gary is quiet. Gary is round. Gary is young. If someone is young and white then they are green. If someone is young and big then they are nice. If Anne is young then Anne is nice. If Dave is round and Dave is young then Dave is quiet. Young people are round. If someone is big then they are young. If someone is nice then they are round. Big people are nice.
Dave is white.
@0: Anne is big.[(triple1)] Anne is quiet.[(triple2)] Anne is round.[(triple3 OR ((((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule6)) -> rule3)) -> rule7) OR ((((((triple1) -> rule6) triple1) -> rule2)) -> rule7))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((((triple4) -> rule7) triple6) -> rule4) OR ((((triple6) -> rule5) triple6) -> rule4))] Dave is young.[(triple6)] Erin is big.[(triple7)] Erin is green.[(triple8)] Erin is nice.[(triple9 OR ((triple7) -> rule8) OR ((triple11 triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2))] Erin is quiet.[(triple10)] Erin is young.[(triple11 OR ((triple7) -> rule6))] Gary is nice.[(triple12)] Gary is quiet.[(triple13)] Gary is round.[(triple14 OR ((triple12) -> rule7) OR ((triple15) -> rule5))] Gary is young.[(triple15)] @1: Anne is nice.[(((triple1) -> rule8) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule2))] Anne is young.[(((triple1) -> rule6))] Dave is round.[(((triple4) -> rule7) OR ((triple6) -> rule5))] Erin is round.[(((triple11) -> rule5) OR ((triple9) -> rule7) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple7) -> rule8)) -> rule7) OR ((((triple11 triple7) -> rule2)) -> rule7) OR ((((((triple7) -> rule6) triple7) -> rule2)) -> rule7))]