The cow is blue. The cow is rough. The cow is round. All rough things are round. All round, blue things are kind. All big things are blue. If something is big then it is rough. All blue things are big. All blue things are round. If the cow is rough and the cow is blue then the cow is round. All rough, blue things are round.
The cow needs the cow.
@0: The cow is blue.[(triple1)] The cow is rough.[(triple2 OR ((((triple1) -> rule5)) -> rule4))] The cow is round.[(triple3 OR ((triple1) -> rule6) OR ((triple2) -> rule1) OR ((triple2 triple1) -> rule7) OR ((triple2 triple1) -> rule8) OR ((((((triple1) -> rule5)) -> rule4)) -> rule1) OR ((((((triple1) -> rule5)) -> rule4) triple1) -> rule7) OR ((((((triple1) -> rule5)) -> rule4) triple1) -> rule8))] @1: The cow is big.[(((triple1) -> rule5))] The cow is kind.[(((triple3 triple1) -> rule2) OR ((((triple1) -> rule6) triple1) -> rule2) OR ((((triple2) -> rule1) triple1) -> rule2) OR ((((triple2 triple1) -> rule7) triple1) -> rule2) OR ((((triple2 triple1) -> rule8) triple1) -> rule2) OR ((((((((triple1) -> rule5)) -> rule4)) -> rule1) triple1) -> rule2) OR ((((((((triple1) -> rule5)) -> rule4) triple1) -> rule7) triple1) -> rule2) OR ((((((((triple1) -> rule5)) -> rule4) triple1) -> rule8) triple1) -> rule2))]