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