The cow is big. The cow is cold. The cow is kind. The cow is nice. The cow is round. If something is nice then it is big. If something is big and cold then it is nice. Nice things are kind. If something is nice and round then it is big. All nice things are kind. All round things are nice. Big things are cold. If something is cold and kind then it is round.
The cow does not like the cow.
@0: The cow is big.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule6)) -> rule1) OR ((triple4 ((triple2 triple3) -> rule8)) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule4) OR ((((triple5) -> rule6) ((triple2 triple3) -> rule8)) -> rule4) OR ((((((triple2 triple3) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((triple2 ((triple4) -> rule3)) -> rule8)) -> rule4) OR ((triple4 ((triple2 ((triple4) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 triple3) -> rule8)) -> rule6) triple5) -> rule4) OR ((((triple5) -> rule6) ((triple2 ((triple4) -> rule3)) -> rule8)) -> rule4) OR ((((triple5) -> rule6) ((triple2 ((triple4) -> rule5)) -> rule8)) -> rule4) OR ((((((triple2 triple3) -> rule8)) -> rule6) ((triple2 triple3) -> rule8)) -> rule4) OR ((((((triple2 triple3) -> rule8)) -> rule6) ((triple2 ((triple4) -> rule3)) -> rule8)) -> rule4) OR ((((((triple2 triple3) -> rule8)) -> rule6) ((triple2 ((triple4) -> rule5)) -> rule8)) -> rule4))] The cow is cold.[(triple2 OR ((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((triple4 triple5) -> rule4)) -> rule7) OR ((((((triple5) -> rule6)) -> rule1)) -> rule7) OR ((((((triple5) -> rule6) triple5) -> rule4)) -> rule7))] The cow is kind.[(triple3 OR ((triple4) -> rule3) OR ((triple4) -> rule5) OR ((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6)) -> rule5) OR ((((triple1 triple2) -> rule2)) -> rule3) OR ((((triple1 triple2) -> rule2)) -> rule5) OR ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule3) OR ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule5))] The cow is nice.[(triple4 OR ((triple5) -> rule6) OR ((triple1 triple2) -> rule2) OR ((((triple2 triple3) -> rule8)) -> rule6) OR ((triple1 ((triple1) -> rule7)) -> rule2) OR ((((((triple1) -> rule7) triple3) -> rule8)) -> rule6))] The cow is round.[(triple5 OR ((triple2 triple3) -> rule8) OR ((triple2 ((triple4) -> rule3)) -> rule8) OR ((triple2 ((triple4) -> rule5)) -> rule8) OR ((((triple1) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) ((triple4) -> rule3)) -> rule8) OR ((((triple1) -> rule7) ((triple4) -> rule5)) -> rule8) OR ((triple2 ((((triple1 triple2) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((triple1 triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) ((((triple1 triple2) -> rule2)) -> rule3)) -> rule8) OR ((((triple1) -> rule7) ((((triple1 triple2) -> rule2)) -> rule5)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((triple4) -> rule5)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((((triple1 triple2) -> rule2)) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((((triple1 triple2) -> rule2)) -> rule5)) -> rule8) OR ((triple2 ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule3)) -> rule8) OR ((triple2 ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule8) OR ((((triple1) -> rule7) ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule3)) -> rule8) OR ((((triple1) -> rule7) ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule7) ((((triple1 ((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule8))]