Bob is green. Bob is kind. Bob is nice. Bob is rough. Dave is nice. Dave is red. Dave is round. If someone is big then they are nice. If someone is round and green then they are red. Round people are kind. If someone is nice and rough then they are green. Round, kind people are red. If Dave is red then Dave is big. If someone is red and kind then they are nice. All round, kind people are rough.
Bob is not red.
@0: Bob is green.[(triple1 OR ((triple3 triple4) -> rule4))] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Dave is nice.[(triple5 OR ((((triple6) -> rule6)) -> rule1) OR ((triple6 ((triple7) -> rule3)) -> rule7) OR ((((triple7 ((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule7) OR ((((((triple7 ((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule1))] Dave is red.[(triple6 OR ((triple7 ((triple7) -> rule3)) -> rule5) OR ((triple7 ((triple5 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4)) -> rule2))] Dave is round.[(triple7)] @1: Dave is big.[(((triple6) -> rule6) OR ((((triple7 ((triple7) -> rule3)) -> rule5)) -> rule6) OR ((((triple7 ((triple5 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4)) -> rule2)) -> rule6))] Dave is kind.[(((triple7) -> rule3))] @2: Dave is rough.[(((triple7 ((triple7) -> rule3)) -> rule8))] @3: Dave is green.[(((triple5 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4) OR ((((((triple6) -> rule6)) -> rule1) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4) OR ((((triple6 ((triple7) -> rule3)) -> rule7) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4) OR ((((((triple7 ((triple7) -> rule3)) -> rule5) ((triple7) -> rule3)) -> rule7) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4) OR ((((((((triple7 ((triple7) -> rule3)) -> rule5)) -> rule6)) -> rule1) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule4))]