The dog is blue. The dog is kind. The dog is red. The dog is rough. The dog is round. If something is round then it is rough. All kind things are blue. All red, round things are kind. All rough, red things are blue. All rough things are kind. If something is round then it is kind.
The dog eats the dog.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule2) OR ((triple4 triple3) -> rule4) OR ((((triple4) -> rule5)) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((((triple3 triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule1) triple3) -> rule4) OR ((((((triple5) -> rule1)) -> rule5)) -> rule2))] The dog is kind.[(triple2 OR ((triple4) -> rule5) OR ((triple5) -> rule6) OR ((triple3 triple5) -> rule3) OR ((((triple5) -> rule1)) -> rule5))] The dog is red.[(triple3)] The dog is rough.[(triple4 OR ((triple5) -> rule1))] The dog is round.[(triple5)]