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