Dave is cold. Dave is nice. Dave is rough. Fiona is big. Fiona is not cold. Fiona is quiet. Fiona is white. Cold people are big. All kind, white people are quiet. If Fiona is cold and Fiona is quiet then Fiona is big. Kind people are white. All nice, big people are kind. Cold, big people are kind.
Dave is not kind.
@0: Dave is cold.[(triple1)] Dave is nice.[(triple2)] Dave is rough.[(triple3)] Fiona is big.[(triple4)] Fiona is not cold.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)] @1: Dave is big.[(((triple1) -> rule1))] @2: Dave is kind.[(((triple1 ((triple1) -> rule1)) -> rule6) OR ((triple2 ((triple1) -> rule1)) -> rule5))] @3: Dave is white.[(((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple2 ((triple1) -> rule1)) -> rule5)) -> rule4))] @4: Dave is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule6) ((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule2) OR ((((triple1 ((triple1) -> rule1)) -> rule6) ((((triple2 ((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule2) OR ((((triple2 ((triple1) -> rule1)) -> rule5) ((((triple1 ((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule2) OR ((((triple2 ((triple1) -> rule1)) -> rule5) ((((triple2 ((triple1) -> rule1)) -> rule5)) -> rule4)) -> rule2))]