The cow is big. The cow is nice. The cow is rough. The cow is round. The cow is young. All round, young things are big. If the cow is round then the cow is young. All young things are nice. All round things are nice. If something is round and big then it is rough. If the cow is big and the cow is nice then the cow is round. Nice things are young. If the cow is nice then the cow is round.
The cow is not rough.
@0: The cow is big.[(triple1 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple2) -> rule7)) -> rule1) OR ((triple4 ((triple4) -> rule2)) -> rule1) OR ((((triple2) -> rule8) triple5) -> rule1) OR ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1) OR ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1) OR ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1))] The cow is nice.[(triple2 OR ((triple4) -> rule4) OR ((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The cow is rough.[(triple3 OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple2) -> rule8) triple1) -> rule5) OR ((((triple1 triple2) -> rule6) triple1) -> rule5) OR ((((triple2) -> rule8) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple4 triple5) -> rule1)) -> rule5) OR ((triple4 ((triple4 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((triple2) -> rule8) triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) triple1) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) triple1) -> rule5) OR ((triple4 ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((triple4 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple4 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule8) triple5) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple4 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8) triple5) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((triple4 ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((triple4 ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((triple2) -> rule8) triple5) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((triple2) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((triple2) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1)) -> rule5) OR ((triple4 ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((triple4 ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((triple4 ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((triple4 ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((((triple5) -> rule3)) -> rule8) triple5) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((triple2) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((triple4) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((((triple2) -> rule8)) -> rule2)) -> rule1)) -> rule5) OR ((((triple1 ((triple5) -> rule3)) -> rule6) ((((((triple5) -> rule3)) -> rule8) ((((triple4) -> rule4)) -> rule7)) -> rule1)) -> rule5))] The cow is round.[(triple4 OR ((triple2) -> rule8) OR ((triple1 triple2) -> rule6) OR ((((triple5) -> rule3)) -> rule8) OR ((triple1 ((triple5) -> rule3)) -> rule6))] The cow is young.[(triple5 OR ((triple2) -> rule7) OR ((triple4) -> rule2) OR ((((triple2) -> rule8)) -> rule2) OR ((((triple4) -> rule4)) -> rule7) OR ((((triple1 triple2) -> rule6)) -> rule2))]