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