Anne is kind. Anne is nice. Anne is quiet. Anne is red. Bob is big. Bob is green. Bob is nice. Bob is quiet. Bob is red. Gary is green. Gary is red. Gary is rough. If something is nice and rough then it is kind. Nice things are rough. All big things are rough. All big things are nice. If something is green and big then it is rough. If Bob is quiet then Bob is red.
Bob is not kind.
@0: Anne is kind.[(triple1 OR ((triple2 ((triple2) -> rule2)) -> rule1))] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5)] Bob is green.[(triple6)] Bob is nice.[(triple7 OR ((triple5) -> rule4))] Bob is quiet.[(triple8)] Bob is red.[(triple9 OR ((triple8) -> rule6))] Gary is green.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Anne is rough.[(((triple2) -> rule2))] Bob is rough.[(((triple5) -> rule3) OR ((triple7) -> rule2) OR ((triple6 triple5) -> rule5) OR ((((triple5) -> rule4)) -> rule2))] @2: Bob is kind.[(((triple7 ((triple5) -> rule3)) -> rule1) OR ((triple7 ((triple7) -> rule2)) -> rule1) OR ((triple7 ((triple6 triple5) -> rule5)) -> rule1) OR ((((triple5) -> rule4) ((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule4) ((triple7) -> rule2)) -> rule1) OR ((((triple5) -> rule4) ((triple6 triple5) -> rule5)) -> rule1) OR ((triple7 ((((triple5) -> rule4)) -> rule2)) -> rule1) OR ((((triple5) -> rule4) ((((triple5) -> rule4)) -> rule2)) -> rule1))]