Dave is big. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Dave is young. If someone is young then they are white. All nice, white people are big. If someone is white and young then they are nice. Green, big people are nice. Red people are white. If someone is nice and young then they are green.
Dave is young.
@0: Dave is big.[(triple1 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple4) -> rule5)) -> rule2) OR ((triple3 ((triple7) -> rule1)) -> rule2) OR ((((triple6 triple7) -> rule3) triple6) -> rule2) OR ((((triple6 triple7) -> rule3) ((triple4) -> rule5)) -> rule2) OR ((((triple6 triple7) -> rule3) ((triple7) -> rule1)) -> rule2) OR ((((((triple4) -> rule5) triple7) -> rule3) triple6) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule3) triple6) -> rule2) OR ((((((triple4) -> rule5) triple7) -> rule3) ((triple4) -> rule5)) -> rule2) OR ((((((triple4) -> rule5) triple7) -> rule3) ((triple7) -> rule1)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule3) ((triple4) -> rule5)) -> rule2) OR ((((((triple7) -> rule1) triple7) -> rule3) ((triple7) -> rule1)) -> rule2))] Dave is green.[(triple2 OR ((triple3 triple7) -> rule6) OR ((((triple6 triple7) -> rule3) triple7) -> rule6) OR ((((((triple4) -> rule5) triple7) -> rule3) triple7) -> rule6) OR ((((((triple7) -> rule1) triple7) -> rule3) triple7) -> rule6))] Dave is nice.[(triple3 OR ((triple2 triple1) -> rule4) OR ((triple6 triple7) -> rule3) OR ((((triple4) -> rule5) triple7) -> rule3) OR ((((triple7) -> rule1) triple7) -> rule3))] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule5) OR ((triple7) -> rule1))] Dave is young.[(triple7)]