The cow is big. The cow is blue. The cow is cold. The cow is rough. The cow is round. All rough, cold people are round. Blue people are big. Round, rough people are big. If someone is round then they are big. All round, cold people are big. If someone is big and rough then they are cold. If someone is big then they are cold. If the cow is not blue and the cow is not rough then the cow is not cold.
The cow does not chase the cow.
@0: The cow is big.[(triple1 OR ((triple2) -> rule2) OR ((triple5) -> rule4) OR ((triple5 triple3) -> rule5) OR ((triple5 triple4) -> rule3) OR ((((triple4 triple3) -> rule1)) -> rule4) OR ((((triple4 triple3) -> rule1) triple3) -> rule5) OR ((((triple4 triple3) -> rule1) triple4) -> rule3))] The cow is blue.[(triple2)] The cow is cold.[(triple3 OR ((triple1) -> rule7) OR ((triple1 triple4) -> rule6) OR ((((triple2) -> rule2)) -> rule7) OR ((((triple5) -> rule4)) -> rule7) OR ((((triple5 triple4) -> rule3)) -> rule7) OR ((((triple2) -> rule2) triple4) -> rule6) OR ((((triple5) -> rule4) triple4) -> rule6) OR ((((triple5 triple4) -> rule3) triple4) -> rule6))] The cow is rough.[(triple4)] The cow is round.[(triple5 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple1) -> rule7)) -> rule1) OR ((triple4 ((triple1 triple4) -> rule6)) -> rule1) OR ((triple4 ((((triple2) -> rule2)) -> rule7)) -> rule1) OR ((triple4 ((((triple2) -> rule2) triple4) -> rule6)) -> rule1))]