Charlie is big. Charlie is cold. Dave is rough. Erin is nice. Erin is rough. Erin is white. Erin is young. All rough people are white. If Charlie is young and Charlie is quiet then Charlie is rough. If someone is big then they are cold. Cold, quiet people are white. Quiet, cold people are nice. If Erin is cold then Erin is nice. If someone is big and rough then they are nice. Big, cold people are quiet.
Dave is not nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule3))] Dave is rough.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6 OR ((triple5) -> rule1))] Erin is young.[(triple7)] @1: Charlie is quiet.[(((triple1 triple2) -> rule8) OR ((triple1 ((triple1) -> rule3)) -> rule8))] Dave is white.[(((triple3) -> rule1))] @2: Charlie is nice.[(((((triple1 triple2) -> rule8) triple2) -> rule5) OR ((((triple1 triple2) -> rule8) ((triple1) -> rule3)) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule8) triple2) -> rule5) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule5))] Charlie is white.[(((triple2 ((triple1 triple2) -> rule8)) -> rule4) OR ((((triple1) -> rule3) ((triple1 triple2) -> rule8)) -> rule4) OR ((triple2 ((triple1 ((triple1) -> rule3)) -> rule8)) -> rule4) OR ((((triple1) -> rule3) ((triple1 ((triple1) -> rule3)) -> rule8)) -> rule4))]