Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is rough. Dave is white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Nice people are white. If someone is blue and green then they are kind. Blue, white people are green. All green, rough people are white. Nice people are green. Blue people are kind.
Fiona is nice.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2 OR ((triple4) -> rule5) OR ((triple1 triple7) -> rule3) OR ((triple1 ((triple4) -> rule1)) -> rule3))] Dave is kind.[(triple3 OR ((triple1) -> rule6) OR ((triple1 triple2) -> rule2) OR ((triple1 ((triple4) -> rule5)) -> rule2) OR ((triple1 ((triple1 triple7) -> rule3)) -> rule2) OR ((triple1 ((triple1 ((triple4) -> rule1)) -> rule3)) -> rule2))] Dave is nice.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple4) -> rule1) OR ((triple2 triple6) -> rule4) OR ((((triple4) -> rule5) triple6) -> rule4))] Fiona is blue.[(triple8)] Fiona is kind.[(triple9 OR ((triple8) -> rule6) OR ((triple8 ((triple10) -> rule5)) -> rule2) OR ((triple8 ((triple8 triple12) -> rule3)) -> rule2) OR ((triple8 ((triple8 ((triple10) -> rule1)) -> rule3)) -> rule2))] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple12 OR ((triple10) -> rule1))] @1: Fiona is green.[(((triple10) -> rule5) OR ((triple8 triple12) -> rule3) OR ((triple8 ((triple10) -> rule1)) -> rule3))]