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