The cow is big. The cow is blue. The cow is kind. The cow is rough. The cow is round. All kind people are big. All round people are kind. If the cow is big and the cow is round then the cow is blue. All rough people are big. Blue people are round. If someone is round and kind then they are rough.
The cow is not kind.
@0: The cow is big.[(triple1 OR ((triple3) -> rule1) OR ((triple4) -> rule4) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple5 triple3) -> rule6)) -> rule4) OR ((((((triple2) -> rule5)) -> rule2)) -> rule1) OR ((((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4) OR ((((((triple2) -> rule5) triple3) -> rule6)) -> rule4) OR ((((((triple2) -> rule5) ((triple5) -> rule2)) -> rule6)) -> rule4) OR ((((triple5 ((((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule4) OR ((((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule2)) -> rule6)) -> rule4))] The cow is blue.[(triple2 OR ((triple1 triple5) -> rule3) OR ((((triple3) -> rule1) triple5) -> rule3) OR ((((triple4) -> rule4) triple5) -> rule3) OR ((((((triple5) -> rule2)) -> rule1) triple5) -> rule3) OR ((((((triple5 triple3) -> rule6)) -> rule4) triple5) -> rule3) OR ((((((triple5 ((triple5) -> rule2)) -> rule6)) -> rule4) triple5) -> rule3))] The cow is kind.[(triple3 OR ((triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] The cow is rough.[(triple4 OR ((triple5 triple3) -> rule6) OR ((triple5 ((triple5) -> rule2)) -> rule6) OR ((((triple2) -> rule5) triple3) -> rule6) OR ((((triple2) -> rule5) ((triple5) -> rule2)) -> rule6) OR ((triple5 ((((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule2)) -> rule6))] The cow is round.[(triple5 OR ((triple2) -> rule5))]