The cow is cold. The cow is nice. The cow is red. The cow is rough. The cow is round. If someone is round then they are nice. All cold, round people are nice. All round, nice people are rough. If someone is round then they are nice. Red, nice people are rough. If someone is nice and red then they are round. If someone is cold and round then they are nice. If someone is cold and nice then they are rough.
The cow needs the cow.
@0: The cow is cold.[(triple1)] The cow is nice.[(triple2 OR ((triple5) -> rule1) OR ((triple5) -> rule4) OR ((triple1 triple5) -> rule2) OR ((triple1 triple5) -> rule7))] The cow is red.[(triple3)] The cow is rough.[(triple4 OR ((triple1 triple2) -> rule8) OR ((triple3 triple2) -> rule5) OR ((triple5 triple2) -> rule3) OR ((triple1 ((triple5) -> rule1)) -> rule8) OR ((triple1 ((triple5) -> rule4)) -> rule8) OR ((triple1 ((triple1 triple5) -> rule2)) -> rule8) OR ((triple1 ((triple1 triple5) -> rule7)) -> rule8) OR ((triple3 ((triple5) -> rule1)) -> rule5) OR ((triple3 ((triple5) -> rule4)) -> rule5) OR ((triple3 ((triple1 triple5) -> rule2)) -> rule5) OR ((triple3 ((triple1 triple5) -> rule7)) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule3) OR ((triple5 ((triple5) -> rule4)) -> rule3) OR ((triple5 ((triple1 triple5) -> rule2)) -> rule3) OR ((triple5 ((triple1 triple5) -> rule7)) -> rule3) OR ((((triple2 triple3) -> rule6) triple2) -> rule3) OR ((((triple2 triple3) -> rule6) ((triple5) -> rule1)) -> rule3) OR ((((triple2 triple3) -> rule6) ((triple5) -> rule4)) -> rule3) OR ((((triple2 triple3) -> rule6) ((triple1 triple5) -> rule2)) -> rule3) OR ((((triple2 triple3) -> rule6) ((triple1 triple5) -> rule7)) -> rule3))] The cow is round.[(triple5 OR ((triple2 triple3) -> rule6))]