Charlie is big. Charlie is cold. Charlie is green. Charlie is smart. Charlie is white. Charlie is young. Erin is quiet. Erin is smart. Erin is white. Fiona is big. Fiona is green. Fiona is quiet. Fiona is white. Harry is green. Harry is smart. If Fiona is cold then Fiona is quiet. Smart, white people are young. All white, smart people are big. Young people are big. Quiet, big people are smart. If someone is smart and big then they are white. If Harry is big and Harry is green then Harry is young. White, green people are big.
Charlie is smart.
@0: Charlie is big.[(triple1 OR ((triple6) -> rule4) OR ((triple5 triple3) -> rule8) OR ((triple5 triple4) -> rule3) OR ((((triple4 triple5) -> rule2)) -> rule4))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple6) -> rule4)) -> rule6))] Charlie is young.[(triple6 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple4 triple1) -> rule6)) -> rule2))] Erin is quiet.[(triple7)] Erin is smart.[(triple8)] Erin is white.[(triple9)] Fiona is big.[(triple10 OR ((triple13 triple11) -> rule8))] Fiona is green.[(triple11)] Fiona is quiet.[(triple12)] Fiona is white.[(triple13 OR ((((triple12 triple10) -> rule5) triple10) -> rule6))] Harry is green.[(triple14)] Harry is smart.[(triple15)] @1: Erin is big.[(((triple9 triple8) -> rule3) OR ((((triple8 triple9) -> rule2)) -> rule4))] Erin is young.[(((triple8 triple9) -> rule2))] Fiona is smart.[(((triple12 triple10) -> rule5) OR ((triple12 ((triple13 triple11) -> rule8)) -> rule5))] @2: Fiona is young.[(((((triple12 triple10) -> rule5) triple13) -> rule2) OR ((((triple12 ((triple13 triple11) -> rule8)) -> rule5) triple13) -> rule2) OR ((((triple12 triple10) -> rule5) ((((triple12 triple10) -> rule5) triple10) -> rule6)) -> rule2) OR ((((triple12 ((triple13 triple11) -> rule8)) -> rule5) ((((triple12 triple10) -> rule5) triple10) -> rule6)) -> rule2))]