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