Anne is nice. Anne is red. Bob is blue. Dave is furry. Dave is nice. Harry is blue. Harry is red. All rough, big people are not blue. Nice, red people are kind. Rough, nice people are big. If someone is rough and not furry then they are big. If someone is rough and big then they are red. All nice people are red. If someone is big and rough then they are red. Kind people are rough.
Anne is kind.
@0: Anne is nice.[(triple1)] Anne is red.[(triple2 OR ((triple1) -> rule6))] Bob is blue.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Harry is blue.[(triple6)] Harry is red.[(triple7)] @1: Anne is kind.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple1) -> rule6)) -> rule2))] Dave is red.[(((triple5) -> rule6))] @2: Anne is rough.[(((((triple1 triple2) -> rule2)) -> rule8) OR ((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8))] Dave is kind.[(((triple5 ((triple5) -> rule6)) -> rule2))] @3: Anne is big.[(((((((triple1 triple2) -> rule2)) -> rule8) triple1) -> rule3) OR ((((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8) triple1) -> rule3))] Dave is rough.[(((((triple5 ((triple5) -> rule6)) -> rule2)) -> rule8))] @4: Anne is not blue.[(((((((triple1 triple2) -> rule2)) -> rule8) ((((((triple1 triple2) -> rule2)) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8) ((((((triple1 triple2) -> rule2)) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule2)) -> rule8) ((((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8) triple1) -> rule3)) -> rule1) OR ((((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8) ((((((triple1 ((triple1) -> rule6)) -> rule2)) -> rule8) triple1) -> rule3)) -> rule1))] Dave is big.[(((((((triple5 ((triple5) -> rule6)) -> rule2)) -> rule8) triple5) -> rule3))] @5: Dave is not blue.[(((((((triple5 ((triple5) -> rule6)) -> rule2)) -> rule8) ((((((triple5 ((triple5) -> rule6)) -> rule2)) -> rule8) triple5) -> rule3)) -> rule1))]