Dave is big. Dave is cold. Dave is rough. Dave is smart. Erin is big. Erin is nice. Erin is smart. If someone is cold then they are blue. Red people are blue. Big, cold people are blue. If someone is blue then they are not red. If Erin is rough then Erin is blue. If someone is blue then they are nice. If someone is big and not rough then they are nice. Blue, cold people are big.
Dave is not big.
@0: Dave is big.[(triple1 OR ((((triple2) -> rule1) triple2) -> rule8))] Dave is cold.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is nice.[(triple6)] Erin is smart.[(triple7)] @1: Dave is blue.[(((triple2) -> rule1) OR ((triple1 triple2) -> rule3))] @2: Dave is nice.[(((((triple2) -> rule1)) -> rule6) OR ((((triple1 triple2) -> rule3)) -> rule6))] Dave is not red.[(((((triple2) -> rule1)) -> rule4) OR ((((triple1 triple2) -> rule3)) -> rule4))]