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