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