Anne is big. Anne is green. Anne is rough. Anne is white. Anne is young. Charlie is cold. Charlie is green. Charlie is rough. Erin is cold. Erin is green. Erin is rough. Erin is round. Erin is white. Erin is young. Gary is cold. Gary is young. All rough people are cold. If someone is round then they are big. Green, young people are round. If someone is young then they are white. If Charlie is round and Charlie is young then Charlie is cold. Rough, cold people are young. Round, green people are rough. If Anne is rough and Anne is round then Anne is green.
Gary is white.
@0: Anne is big.[(triple1 OR ((((triple2 triple5) -> rule3)) -> rule2) OR ((((triple2 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule2))] Anne is green.[(triple2)] Anne is rough.[(triple3 OR ((((triple2 triple5) -> rule3) triple2) -> rule7))] Anne is white.[(triple4 OR ((triple5) -> rule4) OR ((((triple3 ((triple3) -> rule1)) -> rule6)) -> rule4))] Anne is young.[(triple5 OR ((triple3 ((triple3) -> rule1)) -> rule6))] Charlie is cold.[(triple6 OR ((triple8) -> rule1))] Charlie is green.[(triple7)] Charlie is rough.[(triple8)] Erin is cold.[(triple9 OR ((triple11) -> rule1) OR ((((triple12 triple10) -> rule7)) -> rule1) OR ((((((triple10 triple14) -> rule3) triple10) -> rule7)) -> rule1))] Erin is green.[(triple10)] Erin is rough.[(triple11 OR ((triple12 triple10) -> rule7) OR ((((triple10 triple14) -> rule3) triple10) -> rule7))] Erin is round.[(triple12 OR ((triple10 triple14) -> rule3) OR ((triple10 ((triple11 triple9) -> rule6)) -> rule3) OR ((triple10 ((triple11 ((triple11) -> rule1)) -> rule6)) -> rule3))] Erin is white.[(triple13 OR ((triple14) -> rule4) OR ((((triple11 triple9) -> rule6)) -> rule4) OR ((((triple11 ((triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((triple12 triple10) -> rule7) triple9) -> rule6)) -> rule4) OR ((((((triple12 triple10) -> rule7) ((triple11) -> rule1)) -> rule6)) -> rule4) OR ((((triple11 ((((triple12 triple10) -> rule7)) -> rule1)) -> rule6)) -> rule4) OR ((((((triple12 triple10) -> rule7) ((((triple12 triple10) -> rule7)) -> rule1)) -> rule6)) -> rule4))] Erin is young.[(triple14 OR ((triple11 triple9) -> rule6) OR ((triple11 ((triple11) -> rule1)) -> rule6) OR ((((triple12 triple10) -> rule7) triple9) -> rule6) OR ((((triple12 triple10) -> rule7) ((triple11) -> rule1)) -> rule6) OR ((triple11 ((((triple12 triple10) -> rule7)) -> rule1)) -> rule6) OR ((((triple12 triple10) -> rule7) ((((triple12 triple10) -> rule7)) -> rule1)) -> rule6))] Gary is cold.[(triple15)] Gary is young.[(triple16)] @1: Anne is cold.[(((triple3) -> rule1) OR ((((((triple2 triple5) -> rule3) triple2) -> rule7)) -> rule1))] Anne is round.[(((triple2 triple5) -> rule3) OR ((triple2 ((triple3 ((triple3) -> rule1)) -> rule6)) -> rule3))] Charlie is young.[(((triple8 triple6) -> rule6) OR ((triple8 ((triple8) -> rule1)) -> rule6))] Erin is big.[(((triple12) -> rule2) OR ((((triple10 triple14) -> rule3)) -> rule2) OR ((((triple10 ((triple11 triple9) -> rule6)) -> rule3)) -> rule2) OR ((((triple10 ((triple11 ((triple11) -> rule1)) -> rule6)) -> rule3)) -> rule2))] Gary is white.[(((triple16) -> rule4))] @2: Charlie is round.[(((triple7 ((triple8 triple6) -> rule6)) -> rule3) OR ((triple7 ((triple8 ((triple8) -> rule1)) -> rule6)) -> rule3))] Charlie is white.[(((((triple8 triple6) -> rule6)) -> rule4) OR ((((triple8 ((triple8) -> rule1)) -> rule6)) -> rule4))] @3: Charlie is big.[(((((triple7 ((triple8 triple6) -> rule6)) -> rule3)) -> rule2) OR ((((triple7 ((triple8 ((triple8) -> rule1)) -> rule6)) -> rule3)) -> rule2))]