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