Bob is furry. Bob is red. Charlie is big. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is big. Dave is red. Dave is young. Big people are young. If someone is red and furry then they are quiet. All furry people are big. All furry, young people are green. If Charlie is young and Charlie is big then Charlie is red. If someone is young then they are furry. Young, smart people are quiet. If Charlie is green then Charlie is red.
Dave is not furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Charlie is big.[(triple3 OR ((triple4) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] Charlie is furry.[(triple4 OR ((triple9) -> rule6) OR ((((triple3) -> rule1)) -> rule6))] Charlie is green.[(triple5 OR ((triple4 triple9) -> rule4) OR ((triple4 ((triple3) -> rule1)) -> rule4) OR ((((triple9) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule6) ((triple3) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4) OR ((((((triple3) -> rule1)) -> rule6) triple9) -> rule4) OR ((((triple9) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4) OR ((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4) OR ((((((triple3) -> rule1)) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4))] Charlie is quiet.[(triple6 OR ((triple7 triple4) -> rule2) OR ((triple9 triple8) -> rule7) OR ((triple7 ((triple9) -> rule6)) -> rule2) OR ((((triple3) -> rule1) triple8) -> rule7) OR ((((triple5) -> rule8) triple4) -> rule2) OR ((((triple9 triple3) -> rule5) triple4) -> rule2) OR ((((triple5) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((triple9 triple3) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((triple7 ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple4) -> rule3)) -> rule1) triple8) -> rule7) OR ((((((triple4 triple9) -> rule4)) -> rule8) triple4) -> rule2) OR ((((triple9 ((triple4) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule2) OR ((((triple5) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple4 triple9) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((triple9 triple3) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((triple9 ((triple4) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) triple3) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((triple4) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple4 triple9) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((triple9 ((triple4) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) triple3) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((triple4) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((triple4) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple4 ((triple3) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((((triple9) -> rule6) triple9) -> rule4)) -> rule8) triple4) -> rule2) OR ((((triple9 ((((triple9) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) triple3) -> rule5) triple4) -> rule2) OR ((((((triple4 ((triple3) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) triple9) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((triple9 ((((triple9) -> rule6)) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) triple3) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((triple4 ((triple3) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) triple9) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((triple9 ((((triple9) -> rule6)) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) triple3) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) triple4) -> rule2) OR ((((((((triple9) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple3) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) ((triple9) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) triple9) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) triple9) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((triple9) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) triple9) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) triple4) -> rule2) OR ((((((((triple9) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((((triple3) -> rule1)) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule2))] Charlie is red.[(triple7 OR ((triple5) -> rule8) OR ((triple9 triple3) -> rule5) OR ((((triple4 triple9) -> rule4)) -> rule8) OR ((triple9 ((triple4) -> rule3)) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule5) OR ((((triple3) -> rule1) ((triple4) -> rule3)) -> rule5) OR ((((triple4 ((triple3) -> rule1)) -> rule4)) -> rule8) OR ((((((triple9) -> rule6) triple9) -> rule4)) -> rule8) OR ((triple9 ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule1) triple3) -> rule5) OR ((((((triple9) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) OR ((((triple3) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule1) ((triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule3)) -> rule1) ((((triple9) -> rule6)) -> rule3)) -> rule5) OR ((((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule6) triple9) -> rule4)) -> rule8) OR ((((((triple9) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule6) ((triple3) -> rule1)) -> rule4)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule6) ((((triple4) -> rule3)) -> rule1)) -> rule4)) -> rule8))] Charlie is smart.[(triple8)] Charlie is young.[(triple9 OR ((triple3) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Dave is big.[(triple10 OR ((((triple12) -> rule6)) -> rule3))] Dave is red.[(triple11)] Dave is young.[(triple12 OR ((triple10) -> rule1))] @1: Bob is big.[(((triple1) -> rule3))] Bob is quiet.[(((triple2 triple1) -> rule2))] Dave is furry.[(((triple12) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] @2: Bob is young.[(((((triple1) -> rule3)) -> rule1))] Dave is green.[(((((triple12) -> rule6) triple12) -> rule4) OR ((((triple12) -> rule6) ((triple10) -> rule1)) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) triple12) -> rule4) OR ((((((triple10) -> rule1)) -> rule6) ((triple10) -> rule1)) -> rule4))] Dave is quiet.[(((triple11 ((triple12) -> rule6)) -> rule2) OR ((triple11 ((((triple10) -> rule1)) -> rule6)) -> rule2))] @3: Bob is green.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule4))]