Charlie is kind. Charlie is nice. Charlie is quiet. Dave is kind. Dave is quiet. Dave is smart. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is smart. Green people are white. Big, nice people are white. If Dave is big then Dave is nice. Kind, quiet people are big. All green people are kind. White people are smart. Quiet, white people are green. If someone is quiet then they are nice.
Dave is quiet.
@0: Charlie is kind.[(triple1)] Charlie is nice.[(triple2 OR ((triple3) -> rule8))] Charlie is quiet.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule6))] Harry is big.[(triple7 OR ((triple9 triple11) -> rule4) OR ((((triple8) -> rule5) triple11) -> rule4))] Harry is green.[(triple8 OR ((triple11 ((triple7 triple10) -> rule2)) -> rule7) OR ((triple11 ((triple7 ((triple11) -> rule8)) -> rule2)) -> rule7) OR ((triple11 ((((triple9 triple11) -> rule4) triple10) -> rule2)) -> rule7) OR ((triple11 ((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule7))] Harry is kind.[(triple9 OR ((triple8) -> rule5) OR ((((triple11 ((triple7 triple10) -> rule2)) -> rule7)) -> rule5) OR ((((triple11 ((triple7 ((triple11) -> rule8)) -> rule2)) -> rule7)) -> rule5))] Harry is nice.[(triple10 OR ((triple11) -> rule8))] Harry is quiet.[(triple11)] Harry is smart.[(triple12 OR ((((triple8) -> rule1)) -> rule6) OR ((((triple7 triple10) -> rule2)) -> rule6) OR ((((triple7 ((triple11) -> rule8)) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule4) triple10) -> rule2)) -> rule6) OR ((((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule6) OR ((((((((triple8) -> rule5) triple11) -> rule4) triple10) -> rule2)) -> rule6) OR ((((((((triple8) -> rule5) triple11) -> rule4) ((triple11) -> rule8)) -> rule2)) -> rule6))] @1: Charlie is big.[(((triple1 triple3) -> rule4))] Dave is big.[(((triple4 triple5) -> rule4))] Dave is nice.[(((triple5) -> rule8) OR ((((triple4 triple5) -> rule4)) -> rule3))] Harry is white.[(((triple8) -> rule1) OR ((triple7 triple10) -> rule2) OR ((triple7 ((triple11) -> rule8)) -> rule2) OR ((((triple9 triple11) -> rule4) triple10) -> rule2) OR ((((triple9 triple11) -> rule4) ((triple11) -> rule8)) -> rule2) OR ((((((triple8) -> rule5) triple11) -> rule4) triple10) -> rule2) OR ((((((triple8) -> rule5) triple11) -> rule4) ((triple11) -> rule8)) -> rule2))] @2: Charlie is white.[(((((triple1 triple3) -> rule4) triple2) -> rule2) OR ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2))] Dave is white.[(((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2) OR ((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2))] @3: Charlie is green.[(((triple3 ((((triple1 triple3) -> rule4) triple2) -> rule2)) -> rule7) OR ((triple3 ((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2)) -> rule7))] Charlie is smart.[(((((((triple1 triple3) -> rule4) triple2) -> rule2)) -> rule6) OR ((((((triple1 triple3) -> rule4) ((triple3) -> rule8)) -> rule2)) -> rule6))] Dave is green.[(((triple5 ((((triple4 triple5) -> rule4) ((triple5) -> rule8)) -> rule2)) -> rule7) OR ((triple5 ((((triple4 triple5) -> rule4) ((((triple4 triple5) -> rule4)) -> rule3)) -> rule2)) -> rule7))]