Charlie is big. Charlie is nice. Charlie is quiet. Charlie is smart. Charlie is white. Erin is big. Erin is smart. Erin is white. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is young. If someone is cold and young then they are white. Cold, quiet people are big. If Fiona is nice then Fiona is quiet. If someone is quiet then they are smart. Quiet people are nice. If Charlie is nice and Charlie is smart then Charlie is cold.
Charlie is quiet.
@0: Charlie is big.[(triple1 OR ((((triple2 triple4) -> rule6) triple3) -> rule2) OR ((((triple2 ((triple3) -> rule4)) -> rule6) triple3) -> rule2) OR ((((((triple3) -> rule5) triple4) -> rule6) triple3) -> rule2) OR ((((((triple3) -> rule5) ((triple3) -> rule4)) -> rule6) triple3) -> rule2))] Charlie is nice.[(triple2 OR ((triple3) -> rule5))] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4 OR ((triple3) -> rule4))] Charlie is white.[(triple5)] Erin is big.[(triple6)] Erin is smart.[(triple7)] Erin is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10 OR ((triple11) -> rule5))] Fiona is quiet.[(triple11 OR ((triple10) -> rule3))] Fiona is young.[(triple12)] @1: Charlie is cold.[(((triple2 triple4) -> rule6) OR ((triple2 ((triple3) -> rule4)) -> rule6) OR ((((triple3) -> rule5) triple4) -> rule6) OR ((((triple3) -> rule5) ((triple3) -> rule4)) -> rule6))] Fiona is big.[(((triple9 triple11) -> rule2) OR ((triple9 ((triple10) -> rule3)) -> rule2))] Fiona is smart.[(((triple11) -> rule4) OR ((((triple10) -> rule3)) -> rule4))] Fiona is white.[(((triple9 triple12) -> rule1))]