Anne is cold. Anne is kind. Anne is quiet. Anne is round. Anne is young. Bob is blue. Bob is quiet. Bob is round. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Erin is round. Erin is smart. Erin is young. If Anne is cold then Anne is blue. If someone is kind then they are round. Round, blue people are kind. If Anne is round then Anne is blue. If someone is quiet and young then they are smart. If Bob is smart and Bob is quiet then Bob is young. Quiet people are young. If someone is young and round then they are smart.
Bob is not young.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple4 ((triple1) -> rule1)) -> rule3) OR ((triple4 ((triple4) -> rule4)) -> rule3))] Anne is quiet.[(triple3)] Anne is round.[(triple4 OR ((triple2) -> rule2))] Anne is young.[(triple5 OR ((triple3) -> rule7))] Bob is blue.[(triple6)] Bob is quiet.[(triple7)] Bob is round.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is kind.[(triple11 OR ((triple13 triple9) -> rule3))] Erin is quiet.[(triple12)] Erin is round.[(triple13 OR ((triple11) -> rule2))] Erin is smart.[(triple14 OR ((triple12 triple15) -> rule5) OR ((triple15 triple13) -> rule8) OR ((triple12 ((triple12) -> rule7)) -> rule5) OR ((triple15 ((triple11) -> rule2)) -> rule8) OR ((((triple12) -> rule7) triple13) -> rule8) OR ((((triple12) -> rule7) ((triple11) -> rule2)) -> rule8))] Erin is young.[(triple15 OR ((triple12) -> rule7))] @1: Anne is blue.[(((triple1) -> rule1) OR ((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] Anne is smart.[(((triple3 triple5) -> rule5) OR ((triple5 triple4) -> rule8) OR ((triple3 ((triple3) -> rule7)) -> rule5) OR ((triple5 ((triple2) -> rule2)) -> rule8) OR ((((triple3) -> rule7) triple4) -> rule8) OR ((((triple3) -> rule7) ((triple2) -> rule2)) -> rule8))] Bob is kind.[(((triple8 triple6) -> rule3))] Bob is young.[(((triple7) -> rule7))] @2: Bob is smart.[(((triple7 ((triple7) -> rule7)) -> rule5) OR ((((triple7) -> rule7) triple8) -> rule8))]