Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is smart. Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is red. Green people are big. Kind, red people are nice. If someone is green then they are big. Kind, smart people are green. If someone is green then they are red. All red people are big.
Anne is smart.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2 OR ((triple3 triple5) -> rule4))] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule5) OR ((((triple3 triple5) -> rule4)) -> rule5))] Anne is smart.[(triple5)] Dave is big.[(triple6 OR ((triple10) -> rule6))] Dave is blue.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9 OR ((triple8 triple10) -> rule2))] Dave is red.[(triple10)] @1: Anne is big.[(((triple2) -> rule1) OR ((triple2) -> rule3) OR ((triple4) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple3 triple5) -> rule4)) -> rule1) OR ((((triple3 triple5) -> rule4)) -> rule3) OR ((((((triple3 triple5) -> rule4)) -> rule5)) -> rule6))] Anne is nice.[(((triple3 triple4) -> rule2) OR ((triple3 ((triple2) -> rule5)) -> rule2) OR ((triple3 ((((triple3 triple5) -> rule4)) -> rule5)) -> rule2))]