The cow is cold. The cow is green. The cow is kind. The cow is red. The cow is rough. All green, kind people are cold. If someone is kind then they are rough. Rough, red people are kind. Kind, rough people are green. Red, kind people are green. Green, kind people are rough.
The cow is kind.
@0: The cow is cold.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple3 triple5) -> rule4) triple3) -> rule1) OR ((((triple4 triple3) -> rule5) triple3) -> rule1) OR ((((triple3 triple5) -> rule4) ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple4 triple3) -> rule5) ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4) triple3) -> rule1) OR ((((triple4 ((triple5 triple4) -> rule3)) -> rule5) triple3) -> rule1) OR ((((((triple5 triple4) -> rule3) triple5) -> rule4) triple3) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule4) ((triple5 triple4) -> rule3)) -> rule1) OR ((((triple4 ((triple5 triple4) -> rule3)) -> rule5) ((triple5 triple4) -> rule3)) -> rule1) OR ((((((triple5 triple4) -> rule3) triple5) -> rule4) ((triple5 triple4) -> rule3)) -> rule1) OR ((((((triple5 triple4) -> rule3) ((triple3) -> rule2)) -> rule4) triple3) -> rule1) OR ((((((triple5 triple4) -> rule3) ((triple3) -> rule2)) -> rule4) ((triple5 triple4) -> rule3)) -> rule1))] The cow is green.[(triple2 OR ((triple3 triple5) -> rule4) OR ((triple4 triple3) -> rule5) OR ((triple3 ((triple3) -> rule2)) -> rule4) OR ((triple4 ((triple5 triple4) -> rule3)) -> rule5) OR ((((triple5 triple4) -> rule3) triple5) -> rule4) OR ((((triple5 triple4) -> rule3) ((triple3) -> rule2)) -> rule4))] The cow is kind.[(triple3 OR ((triple5 triple4) -> rule3))] The cow is red.[(triple4)] The cow is rough.[(triple5 OR ((triple3) -> rule2) OR ((triple2 triple3) -> rule6) OR ((((triple4 triple3) -> rule5) triple3) -> rule6))]