Anne is big. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Anne is young. Bob is big. Bob is green. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. If Anne is red then Anne is nice. If Bob is young then Bob is green. All smart things are big. If something is rough and green then it is nice. If Bob is smart and Bob is rough then Bob is young. If Bob is rough and Bob is green then Bob is nice. If Anne is young then Anne is nice. All young things are smart.
Anne is smart.
@0: Anne is big.[(triple1 OR ((triple6) -> rule3) OR ((((triple7) -> rule8)) -> rule3))] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule1) OR ((triple7) -> rule7) OR ((triple5 triple2) -> rule4))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple7) -> rule8))] Anne is young.[(triple7)] Bob is big.[(triple8 OR ((triple13) -> rule3) OR ((((triple14) -> rule8)) -> rule3))] Bob is green.[(triple9 OR ((triple14) -> rule2) OR ((((triple13 triple12) -> rule5)) -> rule2))] Bob is nice.[(triple10 OR ((triple12 triple9) -> rule4) OR ((triple12 triple9) -> rule6) OR ((triple12 ((triple14) -> rule2)) -> rule4) OR ((triple12 ((triple14) -> rule2)) -> rule6) OR ((triple12 ((((triple13 triple12) -> rule5)) -> rule2)) -> rule4) OR ((triple12 ((((triple13 triple12) -> rule5)) -> rule2)) -> rule6))] Bob is red.[(triple11)] Bob is rough.[(triple12)] Bob is smart.[(triple13 OR ((triple14) -> rule8))] Bob is young.[(triple14 OR ((triple13 triple12) -> rule5))]