Anne is round. Anne is young. Bob is round. Bob is smart. Dave is blue. Dave is kind. Dave is round. Dave is smart. Dave is white. Erin is smart. If someone is round and blue then they are white. Kind people are blue. All round people are kind. White, round people are young. All round, kind people are smart. If Bob is young and Bob is blue then Bob is furry. Furry people are young.
Bob is white.
@0: Anne is round.[(triple1)] Anne is young.[(triple2 OR ((((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule1) triple1) -> rule4))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple3 ((triple3) -> rule3)) -> rule5))] Dave is blue.[(triple5 OR ((triple6) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] Dave is kind.[(triple6 OR ((triple7) -> rule3))] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple7) -> rule3)) -> rule5))] Dave is white.[(triple9 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple6) -> rule2)) -> rule1) OR ((triple7 ((((triple7) -> rule3)) -> rule2)) -> rule1))] Erin is smart.[(triple10)] @1: Anne is kind.[(((triple1) -> rule3))] Bob is kind.[(((triple3) -> rule3))] Dave is young.[(((triple9 triple7) -> rule4) OR ((((triple7 triple5) -> rule1) triple7) -> rule4) OR ((((triple7 ((triple6) -> rule2)) -> rule1) triple7) -> rule4) OR ((((triple7 ((((triple7) -> rule3)) -> rule2)) -> rule1) triple7) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule2))] Anne is smart.[(((triple1 ((triple1) -> rule3)) -> rule5))] Bob is blue.[(((((triple3) -> rule3)) -> rule2))] @3: Anne is white.[(((triple1 ((((triple1) -> rule3)) -> rule2)) -> rule1))] Bob is white.[(((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule1))] @4: Bob is young.[(((((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule1) triple3) -> rule4))] @5: Bob is furry.[(((((((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule1) triple3) -> rule4) ((((triple3) -> rule3)) -> rule2)) -> rule6))]