The cow is big. The cow is cold. The cow is kind. The cow is nice. The cow is young. Kind, cold people are young. All kind people are cold. Nice, big people are cold. Kind, young people are cold. If the cow is kind then the cow is big. Big people are nice. All young, kind people are nice. If the cow is young then the cow is cold.
The cow does not chase the cow.
@0: The cow is big.[(triple1 OR ((triple3) -> rule5))] The cow is cold.[(triple2 OR ((triple3) -> rule2) OR ((triple5) -> rule8) OR ((triple3 triple5) -> rule4) OR ((triple4 triple1) -> rule3) OR ((triple4 ((triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule3) OR ((((triple5 triple3) -> rule7) triple1) -> rule3) OR ((((triple1) -> rule6) ((triple3) -> rule5)) -> rule3) OR ((((triple5 triple3) -> rule7) ((triple3) -> rule5)) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) triple1) -> rule3) OR ((((((triple3) -> rule5)) -> rule6) ((triple3) -> rule5)) -> rule3))] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple1) -> rule6) OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule5)) -> rule6) OR ((((triple3 triple2) -> rule1) triple3) -> rule7) OR ((((triple3 ((triple3) -> rule2)) -> rule1) triple3) -> rule7))] The cow is young.[(triple5 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1) OR ((triple3 ((triple4 triple1) -> rule3)) -> rule1) OR ((triple3 ((triple4 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((triple3 ((((triple1) -> rule6) triple1) -> rule3)) -> rule1) OR ((triple3 ((((triple1) -> rule6) ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((triple3 ((((((triple3) -> rule5)) -> rule6) triple1) -> rule3)) -> rule1) OR ((triple3 ((((((triple3) -> rule5)) -> rule6) ((triple3) -> rule5)) -> rule3)) -> rule1))]