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