The cow is big. The cow is cold. The cow is green. The cow is red. The cow is rough. If something is cold then it is big. If something is green then it is red. All cold things are rough. Rough, cold things are big. Cold things are green. If the cow is green then the cow is rough. If the cow is rough and the cow is cold then the cow is red. If something is rough and big then it is cold.
The cow sees the cow.
@0: The cow is big.[(triple1 OR ((triple2) -> rule1) OR ((triple5 triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule4) OR ((((((triple2) -> rule5)) -> rule6) triple2) -> rule4))] The cow is cold.[(triple2 OR ((triple5 triple1) -> rule8) OR ((((triple3) -> rule6) triple1) -> rule8))] The cow is green.[(triple3 OR ((triple2) -> rule5) OR ((((triple5 triple1) -> rule8)) -> rule5))] The cow is red.[(triple4 OR ((triple3) -> rule2) OR ((triple5 triple2) -> rule7) OR ((((triple2) -> rule5)) -> rule2) OR ((triple5 ((triple5 triple1) -> rule8)) -> rule7) OR ((((triple2) -> rule3) triple2) -> rule7) OR ((((triple3) -> rule6) triple2) -> rule7) OR ((((triple2) -> rule3) ((triple5 triple1) -> rule8)) -> rule7) OR ((((triple3) -> rule6) ((triple5 triple1) -> rule8)) -> rule7) OR ((((((triple5 triple1) -> rule8)) -> rule5)) -> rule2) OR ((triple5 ((((triple3) -> rule6) triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6) triple2) -> rule7) OR ((((triple2) -> rule3) ((((triple3) -> rule6) triple1) -> rule8)) -> rule7) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6) ((triple5 triple1) -> rule8)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6) ((((triple3) -> rule6) triple1) -> rule8)) -> rule7))] The cow is rough.[(triple5 OR ((triple2) -> rule3) OR ((triple3) -> rule6) OR ((((triple2) -> rule5)) -> rule6))]