Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. Dave is young. Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is white. Erin is young. White things are nice. If something is quiet and big then it is white. All quiet things are nice. All quiet things are red. If Erin is young then Erin is red. Green, nice things are young. Red, big things are quiet. Green things are white.
Dave is nice.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule3) OR ((triple6) -> rule1) OR ((((triple2) -> rule8)) -> rule1) OR ((((triple4 triple1) -> rule2)) -> rule1) OR ((((triple5 triple1) -> rule7)) -> rule3) OR ((((((triple5 triple1) -> rule7) triple1) -> rule2)) -> rule1))] Dave is quiet.[(triple4 OR ((triple5 triple1) -> rule7))] Dave is red.[(triple5 OR ((triple4) -> rule4))] Dave is white.[(triple6 OR ((triple2) -> rule8) OR ((triple4 triple1) -> rule2) OR ((((triple5 triple1) -> rule7) triple1) -> rule2))] Dave is young.[(triple7 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple4) -> rule3)) -> rule6) OR ((triple2 ((triple6) -> rule1)) -> rule6) OR ((triple2 ((((triple2) -> rule8)) -> rule1)) -> rule6) OR ((triple2 ((((triple4 triple1) -> rule2)) -> rule1)) -> rule6) OR ((triple2 ((((triple5 triple1) -> rule7)) -> rule3)) -> rule6) OR ((triple2 ((((((triple5 triple1) -> rule7) triple1) -> rule2)) -> rule1)) -> rule6))] Erin is big.[(triple8)] Erin is green.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule3) OR ((triple13) -> rule1) OR ((((triple9) -> rule8)) -> rule1) OR ((((triple11 triple8) -> rule2)) -> rule1) OR ((((triple12 triple8) -> rule7)) -> rule3) OR ((((((triple14) -> rule5) triple8) -> rule7)) -> rule3) OR ((((((triple12 triple8) -> rule7) triple8) -> rule2)) -> rule1) OR ((((((((triple14) -> rule5) triple8) -> rule7) triple8) -> rule2)) -> rule1))] Erin is quiet.[(triple11 OR ((triple12 triple8) -> rule7) OR ((((triple14) -> rule5) triple8) -> rule7) OR ((((((triple9 triple10) -> rule6)) -> rule5) triple8) -> rule7) OR ((((((triple9 ((triple13) -> rule1)) -> rule6)) -> rule5) triple8) -> rule7) OR ((((((triple9 ((((triple9) -> rule8)) -> rule1)) -> rule6)) -> rule5) triple8) -> rule7))] Erin is red.[(triple12 OR ((triple11) -> rule4) OR ((triple14) -> rule5) OR ((((triple9 triple10) -> rule6)) -> rule5) OR ((((triple9 ((triple11) -> rule3)) -> rule6)) -> rule5) OR ((((triple9 ((triple13) -> rule1)) -> rule6)) -> rule5) OR ((((triple9 ((((triple9) -> rule8)) -> rule1)) -> rule6)) -> rule5) OR ((((triple9 ((((triple11 triple8) -> rule2)) -> rule1)) -> rule6)) -> rule5))] Erin is white.[(triple13 OR ((triple9) -> rule8) OR ((triple11 triple8) -> rule2) OR ((((triple12 triple8) -> rule7) triple8) -> rule2) OR ((((((triple14) -> rule5) triple8) -> rule7) triple8) -> rule2) OR ((((((((triple9 triple10) -> rule6)) -> rule5) triple8) -> rule7) triple8) -> rule2))] Erin is young.[(triple14 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple11) -> rule3)) -> rule6) OR ((triple9 ((triple13) -> rule1)) -> rule6) OR ((triple9 ((((triple9) -> rule8)) -> rule1)) -> rule6) OR ((triple9 ((((triple11 triple8) -> rule2)) -> rule1)) -> rule6) OR ((triple9 ((((triple12 triple8) -> rule7)) -> rule3)) -> rule6) OR ((triple9 ((((((triple12 triple8) -> rule7) triple8) -> rule2)) -> rule1)) -> rule6))]