Charlie is cold. Charlie is quiet. Charlie is red. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is white. Erin is red. Erin is rough. Erin is smart. If Dave is cold and Dave is rough then Dave is quiet. If Dave is rough then Dave is white. All big people are white. White people are cold. All smart, white people are quiet. All rough people are big.
Charlie is big.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Dave is cold.[(triple4 OR ((triple9) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((((triple7) -> rule6)) -> rule3)) -> rule4))] Dave is quiet.[(triple5 OR ((triple4 triple7) -> rule1) OR ((triple8 triple9) -> rule5) OR ((triple8 ((triple7) -> rule2)) -> rule5) OR ((((triple9) -> rule4) triple7) -> rule1) OR ((triple8 ((((triple7) -> rule6)) -> rule3)) -> rule5) OR ((((((triple7) -> rule2)) -> rule4) triple7) -> rule1) OR ((((((((triple7) -> rule6)) -> rule3)) -> rule4) triple7) -> rule1))] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is smart.[(triple8)] Dave is white.[(triple9 OR ((triple7) -> rule2) OR ((((triple7) -> rule6)) -> rule3))] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] @1: Dave is big.[(((triple7) -> rule6))] Erin is big.[(((triple11) -> rule6))] @2: Erin is white.[(((((triple11) -> rule6)) -> rule3))] @3: Erin is cold.[(((((((triple11) -> rule6)) -> rule3)) -> rule4))] Erin is quiet.[(((triple12 ((((triple11) -> rule6)) -> rule3)) -> rule5))]