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