Bob is big. Bob is nice. Bob is smart. Charlie is nice. Dave is nice. Erin is big. Erin is blue. Erin is furry. Erin is quiet. Erin is round. Erin is smart. All nice things are big. All furry things are blue. Blue, furry things are quiet. If something is round and nice then it is blue. If Bob is round then Bob is blue. Big, quiet things are furry. If something is blue and furry then it is smart. If Charlie is nice and Charlie is big then Charlie is quiet.
Dave is not furry.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is nice.[(triple2)] Bob is smart.[(triple3)] Charlie is nice.[(triple4)] Dave is nice.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple8) -> rule2) OR ((((triple6 triple9) -> rule6)) -> rule2))] Erin is furry.[(triple8 OR ((triple6 triple9) -> rule6))] Erin is quiet.[(triple9 OR ((triple7 triple8) -> rule3) OR ((((triple8) -> rule2) triple8) -> rule3))] Erin is round.[(triple10)] Erin is smart.[(triple11 OR ((triple7 triple8) -> rule7) OR ((triple7 ((triple6 triple9) -> rule6)) -> rule7) OR ((((triple8) -> rule2) triple8) -> rule7) OR ((((triple8) -> rule2) ((triple6 triple9) -> rule6)) -> rule7) OR ((((((triple6 triple9) -> rule6)) -> rule2) triple8) -> rule7) OR ((((((triple6 triple9) -> rule6)) -> rule2) ((triple6 triple9) -> rule6)) -> rule7))] @1: Charlie is big.[(((triple4) -> rule1))] Dave is big.[(((triple5) -> rule1))] @2: Charlie is quiet.[(((triple4 ((triple4) -> rule1)) -> rule8))] @3: Charlie is furry.[(((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule8)) -> rule6))] @4: Charlie is blue.[(((((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule8)) -> rule6)) -> rule2))] @5: Charlie is smart.[(((((((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule8)) -> rule6)) -> rule2) ((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule8)) -> rule6)) -> rule7))]