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