Anne is blue. Anne is kind. Anne is nice. Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is smart. Dave is big. Dave is kind. Dave is nice. Dave is smart. Dave is young. Erin is furry. Erin is smart. If something is blue then it is big. Young things are big. Blue things are kind. All smart, kind things are young. All blue, big things are smart. All nice, furry things are kind.
Bob is young.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule3))] Anne is nice.[(triple3)] Bob is big.[(triple4 OR ((triple5) -> rule1) OR ((((triple8 triple7) -> rule4)) -> rule2) OR ((((triple8 ((triple5) -> rule3)) -> rule4)) -> rule2))] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is kind.[(triple7 OR ((triple5) -> rule3))] Bob is smart.[(triple8 OR ((triple5 triple4) -> rule5) OR ((triple5 ((triple5) -> rule1)) -> rule5))] Dave is big.[(triple9 OR ((triple13) -> rule2) OR ((((triple12 triple10) -> rule4)) -> rule2))] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is smart.[(triple12)] Dave is young.[(triple13 OR ((triple12 triple10) -> rule4))] Erin is furry.[(triple14)] Erin is smart.[(triple15)] @1: Anne is big.[(((triple1) -> rule1))] Bob is young.[(((triple8 triple7) -> rule4) OR ((triple8 ((triple5) -> rule3)) -> rule4) OR ((((triple5 triple4) -> rule5) triple7) -> rule4) OR ((((triple5 triple4) -> rule5) ((triple5) -> rule3)) -> rule4) OR ((((triple5 ((triple5) -> rule1)) -> rule5) triple7) -> rule4) OR ((((triple5 ((triple5) -> rule1)) -> rule5) ((triple5) -> rule3)) -> rule4))] @2: Anne is smart.[(((triple1 ((triple1) -> rule1)) -> rule5))] @3: Anne is young.[(((((triple1 ((triple1) -> rule1)) -> rule5) triple2) -> rule4) OR ((((triple1 ((triple1) -> rule1)) -> rule5) ((triple1) -> rule3)) -> rule4))]