Anne is big. Anne is nice. Anne is white. Anne is young. Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Kind, rough things are big. If something is rough and white then it is big. If something is nice then it is big. Kind things are big. If something is big then it is white. Nice things are white. If something is red and white then it is rough. If Dave is white and Dave is nice then Dave is big.
Anne is white.
@0: Anne is big.[(triple1 OR ((triple2) -> rule3))] Anne is nice.[(triple2)] Anne is white.[(triple3 OR ((triple1) -> rule5) OR ((triple2) -> rule6) OR ((((triple2) -> rule3)) -> rule5))] Anne is young.[(triple4)] Dave is big.[(triple5 OR ((triple6) -> rule4) OR ((triple7) -> rule3) OR ((triple9 triple7) -> rule8) OR ((triple6 ((triple8 triple9) -> rule7)) -> rule1) OR ((((triple7) -> rule6) triple7) -> rule8) OR ((((triple8 triple9) -> rule7) triple9) -> rule2) OR ((((triple8 triple9) -> rule7) ((triple7) -> rule6)) -> rule2) OR ((triple6 ((triple8 ((triple7) -> rule6)) -> rule7)) -> rule1) OR ((((triple8 ((triple7) -> rule6)) -> rule7) triple9) -> rule2) OR ((((triple8 ((triple7) -> rule6)) -> rule7) ((triple7) -> rule6)) -> rule2))] Dave is kind.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8)] Dave is white.[(triple9 OR ((triple5) -> rule5) OR ((triple7) -> rule6) OR ((((triple6) -> rule4)) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Dave is young.[(triple10)] @1: Dave is rough.[(((triple8 triple9) -> rule7) OR ((triple8 ((triple5) -> rule5)) -> rule7) OR ((triple8 ((triple7) -> rule6)) -> rule7) OR ((triple8 ((((triple6) -> rule4)) -> rule5)) -> rule7) OR ((triple8 ((((triple7) -> rule3)) -> rule5)) -> rule7))]