Dave is big. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is round. Dave is young. Round people are green. If someone is blue and big then they are quiet. All green, young people are kind. If Dave is big and Dave is green then Dave is kind. Blue, young people are round. Green, blue people are kind. If Dave is young then Dave is green. If someone is kind and quiet then they are big.
Dave is young.
@0: Dave is big.[(triple1 OR ((triple4 triple5) -> rule8) OR ((((triple3 triple2) -> rule6) triple5) -> rule8) OR ((((triple3 triple7) -> rule3) triple5) -> rule8) OR ((((((triple6) -> rule1) triple2) -> rule6) triple5) -> rule8) OR ((((((triple6) -> rule1) triple7) -> rule3) triple5) -> rule8) OR ((((((triple7) -> rule7) triple2) -> rule6) triple5) -> rule8) OR ((((((triple7) -> rule7) triple7) -> rule3) triple5) -> rule8) OR ((((((((triple2 triple7) -> rule5)) -> rule1) triple2) -> rule6) triple5) -> rule8) OR ((((((((triple2 triple7) -> rule5)) -> rule1) triple7) -> rule3) triple5) -> rule8))] Dave is blue.[(triple2)] Dave is green.[(triple3 OR ((triple6) -> rule1) OR ((triple7) -> rule7) OR ((((triple2 triple7) -> rule5)) -> rule1))] Dave is kind.[(triple4 OR ((triple1 triple3) -> rule4) OR ((triple3 triple2) -> rule6) OR ((triple3 triple7) -> rule3) OR ((triple1 ((triple6) -> rule1)) -> rule4) OR ((triple1 ((triple7) -> rule7)) -> rule4) OR ((((triple6) -> rule1) triple2) -> rule6) OR ((((triple6) -> rule1) triple7) -> rule3) OR ((((triple7) -> rule7) triple2) -> rule6) OR ((((triple7) -> rule7) triple7) -> rule3) OR ((triple1 ((((triple2 triple7) -> rule5)) -> rule1)) -> rule4) OR ((((((triple2 triple7) -> rule5)) -> rule1) triple2) -> rule6) OR ((((((triple2 triple7) -> rule5)) -> rule1) triple7) -> rule3))] Dave is quiet.[(triple5 OR ((triple2 triple1) -> rule2))] Dave is round.[(triple6 OR ((triple2 triple7) -> rule5))] Dave is young.[(triple7)]