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