The cow is big. The cow is kind. The cow is nice. The cow is red. The cow is round. Round, nice things are kind. Red, kind things are big. If the cow is nice and the cow is kind then the cow is red. If something is nice then it is kind. All big things are red. All big, nice things are red.
The cow is nice.
@0: The cow is big.[(triple1 OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule4)) -> rule2) OR ((triple4 ((triple5 triple3) -> rule1)) -> rule2) OR ((((triple3 triple2) -> rule3) triple2) -> rule2) OR ((((triple3 triple2) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((triple3 triple2) -> rule3) ((triple5 triple3) -> rule1)) -> rule2) OR ((((triple3 ((triple3) -> rule4)) -> rule3) triple2) -> rule2) OR ((((triple3 ((triple5 triple3) -> rule1)) -> rule3) triple2) -> rule2) OR ((((triple3 ((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((triple3 ((triple3) -> rule4)) -> rule3) ((triple5 triple3) -> rule1)) -> rule2) OR ((((triple3 ((triple5 triple3) -> rule1)) -> rule3) ((triple3) -> rule4)) -> rule2) OR ((((triple3 ((triple5 triple3) -> rule1)) -> rule3) ((triple5 triple3) -> rule1)) -> rule2))] The cow is kind.[(triple2 OR ((triple3) -> rule4) OR ((triple5 triple3) -> rule1))] The cow is nice.[(triple3)] The cow is red.[(triple4 OR ((triple1) -> rule5) OR ((triple1 triple3) -> rule6) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule4)) -> rule3) OR ((triple3 ((triple5 triple3) -> rule1)) -> rule3))] The cow is round.[(triple5)]