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