Bob is kind. Bob is nice. Bob is smart. Dave is kind. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Harry is quiet. Harry is smart. If Dave is kind and Dave is quiet then Dave is smart. If Bob is round and Bob is not green then Bob is quiet. All smart people are kind. Smart, quiet people are nice. Kind people are quiet. If Harry is not kind and Harry is not smart then Harry is red. If someone is kind and not quiet then they are red. Smart, round people are red.
Dave is round.
@0: Bob is kind.[(triple1 OR ((triple3) -> rule3))] Bob is nice.[(triple2 OR ((triple3 ((triple1) -> rule5)) -> rule4) OR ((triple3 ((((triple3) -> rule3)) -> rule5)) -> rule4))] Bob is smart.[(triple3)] Dave is kind.[(triple4)] Erin is green.[(triple5)] Erin is kind.[(triple6 OR ((triple8) -> rule3))] Erin is quiet.[(triple7 OR ((triple6) -> rule5) OR ((((triple8) -> rule3)) -> rule5))] Erin is smart.[(triple8)] Harry is quiet.[(triple9 OR ((((triple10) -> rule3)) -> rule5))] Harry is smart.[(triple10)] @1: Bob is quiet.[(((triple1) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] Dave is quiet.[(((triple4) -> rule5))] Erin is nice.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple6) -> rule5)) -> rule4) OR ((triple8 ((((triple8) -> rule3)) -> rule5)) -> rule4))] Harry is kind.[(((triple10) -> rule3))] Harry is nice.[(((triple10 triple9) -> rule4) OR ((triple10 ((((triple10) -> rule3)) -> rule5)) -> rule4))] @2: Dave is smart.[(((triple4 ((triple4) -> rule5)) -> rule1))] @3: Dave is nice.[(((((triple4 ((triple4) -> rule5)) -> rule1) ((triple4) -> rule5)) -> rule4))]