Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is round. Dave is smart. Smart, kind people are green. If someone is red then they are kind. If someone is kind then they are green. Quiet, red people are kind. Round people are red. Green, kind people are round.
Dave is round.
@0: Dave is big.[(triple1)] Dave is green.[(triple2 OR ((triple3) -> rule3) OR ((triple7 triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple4 triple5) -> rule4)) -> rule3) OR ((triple7 ((triple5) -> rule2)) -> rule1) OR ((triple7 ((triple4 triple5) -> rule4)) -> rule1) OR ((((((triple6) -> rule5)) -> rule2)) -> rule3) OR ((((triple4 ((triple6) -> rule5)) -> rule4)) -> rule3) OR ((triple7 ((((triple6) -> rule5)) -> rule2)) -> rule1) OR ((triple7 ((triple4 ((triple6) -> rule5)) -> rule4)) -> rule1))] Dave is kind.[(triple3 OR ((triple5) -> rule2) OR ((triple4 triple5) -> rule4) OR ((((triple6) -> rule5)) -> rule2) OR ((triple4 ((triple6) -> rule5)) -> rule4))] Dave is quiet.[(triple4)] Dave is red.[(triple5 OR ((triple6) -> rule5) OR ((((triple2 triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule6)) -> rule5) OR ((((((triple7 triple3) -> rule1) triple3) -> rule6)) -> rule5))] Dave is round.[(triple6 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple5) -> rule2)) -> rule6) OR ((triple2 ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule6) OR ((((triple7 triple3) -> rule1) triple3) -> rule6) OR ((((triple3) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((triple3) -> rule3) ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule1) ((triple5) -> rule2)) -> rule6) OR ((((triple7 triple3) -> rule1) ((triple4 triple5) -> rule4)) -> rule6) OR ((((((triple5) -> rule2)) -> rule3) triple3) -> rule6) OR ((((((triple4 triple5) -> rule4)) -> rule3) triple3) -> rule6) OR ((((triple7 ((triple5) -> rule2)) -> rule1) triple3) -> rule6) OR ((((triple7 ((triple4 triple5) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((triple5) -> rule2)) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((triple5) -> rule2)) -> rule3) ((triple4 triple5) -> rule4)) -> rule6) OR ((((((triple4 triple5) -> rule4)) -> rule3) ((triple5) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule4)) -> rule3) ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple7 ((triple5) -> rule2)) -> rule1) ((triple5) -> rule2)) -> rule6) OR ((((triple7 ((triple5) -> rule2)) -> rule1) ((triple4 triple5) -> rule4)) -> rule6) OR ((((triple7 ((triple4 triple5) -> rule4)) -> rule1) ((triple5) -> rule2)) -> rule6) OR ((((triple7 ((triple4 triple5) -> rule4)) -> rule1) ((triple4 triple5) -> rule4)) -> rule6))] Dave is smart.[(triple7)]