Dave is blue. Dave is cold. Dave is green. Dave is red. Dave is round. Dave is smart. Dave is young. All young things are blue. If something is round and blue then it is red. If Dave is red and Dave is green then Dave is blue. All young, green things are round. If Dave is red and Dave is young then Dave is green. If Dave is smart then Dave is red. All round things are red. Cold, young things are round.
Dave is green.
@0: Dave is blue.[(triple1 OR ((triple7) -> rule1) OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple4 triple7) -> rule5)) -> rule3) OR ((((triple5) -> rule7) triple3) -> rule3) OR ((((triple6) -> rule6) triple3) -> rule3) OR ((((triple5) -> rule7) ((triple4 triple7) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((triple4 triple7) -> rule5)) -> rule3) OR ((triple4 ((((triple5) -> rule7) triple7) -> rule5)) -> rule3) OR ((triple4 ((((triple6) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule7) triple3) -> rule3) OR ((((((triple7 triple3) -> rule4)) -> rule7) triple3) -> rule3) OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple7) -> rule5)) -> rule3) OR ((((triple5) -> rule7) ((((triple6) -> rule6) triple7) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((((triple5) -> rule7) triple7) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule7) ((triple4 triple7) -> rule5)) -> rule3) OR ((((((triple7 triple3) -> rule4)) -> rule7) ((triple4 triple7) -> rule5)) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule7) ((((triple5) -> rule7) triple7) -> rule5)) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule7) ((((triple6) -> rule6) triple7) -> rule5)) -> rule3) OR ((((((triple7 triple3) -> rule4)) -> rule7) ((((triple5) -> rule7) triple7) -> rule5)) -> rule3) OR ((((((triple7 triple3) -> rule4)) -> rule7) ((((triple6) -> rule6) triple7) -> rule5)) -> rule3) OR ((triple4 ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5)) -> rule3) OR ((((triple5) -> rule7) ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5)) -> rule3) OR ((((triple6) -> rule6) ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5)) -> rule3) OR ((((((triple2 triple7) -> rule8)) -> rule7) ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5)) -> rule3) OR ((((((triple7 triple3) -> rule4)) -> rule7) ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5)) -> rule3))] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple4 triple7) -> rule5) OR ((((triple5) -> rule7) triple7) -> rule5) OR ((((triple6) -> rule6) triple7) -> rule5) OR ((((triple5 triple1) -> rule2) triple7) -> rule5) OR ((((((triple2 triple7) -> rule8)) -> rule7) triple7) -> rule5) OR ((((triple5 ((triple7) -> rule1)) -> rule2) triple7) -> rule5) OR ((((((triple2 triple7) -> rule8) triple1) -> rule2) triple7) -> rule5) OR ((((((triple2 triple7) -> rule8) ((triple7) -> rule1)) -> rule2) triple7) -> rule5))] Dave is red.[(triple4 OR ((triple5) -> rule7) OR ((triple6) -> rule6) OR ((triple5 triple1) -> rule2) OR ((((triple2 triple7) -> rule8)) -> rule7) OR ((((triple7 triple3) -> rule4)) -> rule7) OR ((triple5 ((triple7) -> rule1)) -> rule2) OR ((((triple2 triple7) -> rule8) triple1) -> rule2) OR ((((triple7 triple3) -> rule4) triple1) -> rule2) OR ((((triple2 triple7) -> rule8) ((triple7) -> rule1)) -> rule2) OR ((((triple7 triple3) -> rule4) ((triple7) -> rule1)) -> rule2))] Dave is round.[(triple5 OR ((triple2 triple7) -> rule8) OR ((triple7 triple3) -> rule4) OR ((triple7 ((triple4 triple7) -> rule5)) -> rule4) OR ((triple7 ((((triple6) -> rule6) triple7) -> rule5)) -> rule4))] Dave is smart.[(triple6)] Dave is young.[(triple7)]