The dog is big. The dog is green. The dog is nice. The dog is red. The dog is rough. If the dog is red and the dog is green then the dog is nice. If something is nice and red then it is green. If something is big and red then it is nice. All rough, big things are nice. Nice things are red. All big things are nice. If something is nice then it is big. All rough things are green.
The dog is not nice.
@0: The dog is big.[(triple1 OR ((triple3) -> rule7) OR ((((triple4 triple2) -> rule1)) -> rule7) OR ((((triple4 ((triple5) -> rule8)) -> rule1)) -> rule7))] The dog is green.[(triple2 OR ((triple5) -> rule8) OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule5)) -> rule2) OR ((((triple1) -> rule6) triple4) -> rule2) OR ((((triple1 triple4) -> rule3) triple4) -> rule2) OR ((((triple5 triple1) -> rule4) triple4) -> rule2) OR ((((triple1) -> rule6) ((triple3) -> rule5)) -> rule2) OR ((((triple1 triple4) -> rule3) ((triple3) -> rule5)) -> rule2) OR ((((triple5 triple1) -> rule4) ((triple3) -> rule5)) -> rule2) OR ((triple3 ((((triple1) -> rule6)) -> rule5)) -> rule2) OR ((triple3 ((((triple5 triple1) -> rule4)) -> rule5)) -> rule2) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule5)) -> rule2) OR ((((triple1) -> rule6) ((((triple5 triple1) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 triple4) -> rule3) ((((triple1) -> rule6)) -> rule5)) -> rule2) OR ((((triple1 triple4) -> rule3) ((((triple5 triple1) -> rule4)) -> rule5)) -> rule2) OR ((((triple5 triple1) -> rule4) ((((triple1) -> rule6)) -> rule5)) -> rule2) OR ((((triple5 triple1) -> rule4) ((((triple5 triple1) -> rule4)) -> rule5)) -> rule2))] The dog is nice.[(triple3 OR ((triple1) -> rule6) OR ((triple1 triple4) -> rule3) OR ((triple4 triple2) -> rule1) OR ((triple5 triple1) -> rule4) OR ((triple4 ((triple5) -> rule8)) -> rule1))] The dog is red.[(triple4 OR ((triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule5) OR ((((triple5 triple1) -> rule4)) -> rule5))] The dog is rough.[(triple5)]