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