Dave is green. Dave is kind. Dave is nice. Dave is rough. Dave is smart. Dave is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. White people are rough. Green, kind people are nice. If someone is green then they are nice. If Dave is green and Dave is smart then Dave is nice. If someone is cold and nice then they are kind. If Dave is white then Dave is smart. Green people are smart. All green, nice people are white.
Fiona is cold.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple1) -> rule3) OR ((triple1 triple2) -> rule2) OR ((triple1 triple5) -> rule4) OR ((triple1 ((triple1) -> rule7)) -> rule4) OR ((triple1 ((triple6) -> rule6)) -> rule4))] Dave is rough.[(triple4 OR ((triple6) -> rule1) OR ((((triple1 triple3) -> rule8)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule2)) -> rule8)) -> rule1) OR ((((triple1 ((triple1 triple5) -> rule4)) -> rule8)) -> rule1) OR ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule4)) -> rule8)) -> rule1))] Dave is smart.[(triple5 OR ((triple1) -> rule7) OR ((triple6) -> rule6) OR ((((triple1 triple3) -> rule8)) -> rule6) OR ((((triple1 ((triple1) -> rule3)) -> rule8)) -> rule6) OR ((((triple1 ((triple1 triple2) -> rule2)) -> rule8)) -> rule6))] Dave is white.[(triple6 OR ((triple1 triple3) -> rule8) OR ((triple1 ((triple1) -> rule3)) -> rule8) OR ((triple1 ((triple1 triple2) -> rule2)) -> rule8) OR ((triple1 ((triple1 triple5) -> rule4)) -> rule8) OR ((triple1 ((triple1 ((triple1) -> rule7)) -> rule4)) -> rule8))] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple7 ((triple8) -> rule3)) -> rule5))] Fiona is smart.[(triple10 OR ((triple8) -> rule7))] @1: Fiona is nice.[(((triple8) -> rule3) OR ((triple8 triple9) -> rule2))] @2: Fiona is white.[(((triple8 ((triple8) -> rule3)) -> rule8) OR ((triple8 ((triple8 triple9) -> rule2)) -> rule8))] @3: Fiona is rough.[(((((triple8 ((triple8) -> rule3)) -> rule8)) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule2)) -> rule8)) -> rule1))]