Dave is nice. Dave is smart. Erin is green. Fiona is smart. Harry is kind. Harry is rough. Harry is smart. Smart people are white. If someone is kind and big then they are rough. If someone is white then they are big. All kind, big people are green. If someone is big then they are nice. If Harry is green then Harry is nice.
Fiona is not white.
@0: Dave is nice.[(triple1 OR ((((((triple2) -> rule1)) -> rule3)) -> rule5))] Dave is smart.[(triple2)] Erin is green.[(triple3)] Fiona is smart.[(triple4)] Harry is kind.[(triple5)] Harry is rough.[(triple6 OR ((triple5 ((((triple7) -> rule1)) -> rule3)) -> rule2))] Harry is smart.[(triple7)] @1: Dave is white.[(((triple2) -> rule1))] Fiona is white.[(((triple4) -> rule1))] Harry is white.[(((triple7) -> rule1))] @2: Dave is big.[(((((triple2) -> rule1)) -> rule3))] Fiona is big.[(((((triple4) -> rule1)) -> rule3))] Harry is big.[(((((triple7) -> rule1)) -> rule3))] @3: Fiona is nice.[(((((((triple4) -> rule1)) -> rule3)) -> rule5))] Harry is green.[(((triple5 ((((triple7) -> rule1)) -> rule3)) -> rule4))] Harry is nice.[(((((((triple7) -> rule1)) -> rule3)) -> rule5) OR ((((triple5 ((((triple7) -> rule1)) -> rule3)) -> rule4)) -> rule6))]