The dog is cold. The dog is green. The dog is kind. The dog is red. The dog is round. If someone is red then they are kind. Red people are cold. If someone is green and cold then they are kind. Cold, kind people are round. Red people are cold. If someone is cold and red then they are green.
The dog is red.
@0: The dog is cold.[(triple1 OR ((triple4) -> rule2) OR ((triple4) -> rule5))] The dog is green.[(triple2 OR ((triple1 triple4) -> rule6) OR ((((triple4) -> rule2) triple4) -> rule6) OR ((((triple4) -> rule5) triple4) -> rule6))] The dog is kind.[(triple3 OR ((triple4) -> rule1) OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple4) -> rule2)) -> rule3) OR ((triple2 ((triple4) -> rule5)) -> rule3) OR ((((triple1 triple4) -> rule6) triple1) -> rule3) OR ((((triple1 triple4) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((triple1 triple4) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule2) triple4) -> rule6) triple1) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule6) triple1) -> rule3) OR ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule5)) -> rule3))] The dog is red.[(triple4)] The dog is round.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple4) -> rule1)) -> rule4) OR ((triple1 ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule2) triple3) -> rule4) OR ((((triple4) -> rule5) triple3) -> rule4) OR ((((triple4) -> rule2) ((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule2) ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule5) ((triple2 triple1) -> rule3)) -> rule4) OR ((triple1 ((triple2 ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple1 ((triple2 ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple1 ((((triple1 triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((triple2 ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((triple2 ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((triple1 triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((triple2 ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((triple2 ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((triple1 triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((triple1 triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((triple1 triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((triple1 triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((triple1 triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule2) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule5) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple1 ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule5) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple4) -> rule6) triple1) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule2) ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule2) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule2)) -> rule3)) -> rule4) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple4) -> rule6) ((triple4) -> rule5)) -> rule3)) -> rule4))]