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