Bob is cold. Bob is furry. Erin is furry. Erin is kind. Erin is nice. Erin is young. Gary is nice. Gary is young. Harry is furry. Harry is nice. Harry is quiet. Harry is smart. If something is kind and smart then it is nice. If Bob is young then Bob is kind. If something is nice and young then it is quiet. Young, kind things are quiet. If Bob is kind and Bob is smart then Bob is young. Furry things are young. If something is kind and nice then it is cold. All furry, quiet things are smart. Smart, nice things are furry.
Bob is not young.
@0: Bob is cold.[(triple1 OR ((((((triple2) -> rule6)) -> rule2) ((((((triple2) -> rule6)) -> rule2) ((triple2 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule8)) -> rule1)) -> rule7))] Bob is furry.[(triple2)] Erin is furry.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5 OR ((triple4 ((triple3 ((triple6 triple4) -> rule4)) -> rule8)) -> rule1) OR ((triple4 ((triple3 ((((triple3) -> rule6) triple4) -> rule4)) -> rule8)) -> rule1))] Erin is young.[(triple6 OR ((triple3) -> rule6))] Gary is nice.[(triple7)] Gary is young.[(triple8)] Harry is furry.[(triple9 OR ((triple12 triple10) -> rule9))] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple10 ((triple9) -> rule6)) -> rule3) OR ((triple10 ((((triple12 triple10) -> rule9)) -> rule6)) -> rule3))] Harry is smart.[(triple12 OR ((triple9 triple11) -> rule8) OR ((triple9 ((triple10 ((triple9) -> rule6)) -> rule3)) -> rule8))] @1: Bob is young.[(((triple2) -> rule6))] Erin is cold.[(((triple4 triple5) -> rule7) OR ((triple4 ((triple4 ((triple3 ((triple6 triple4) -> rule4)) -> rule8)) -> rule1)) -> rule7) OR ((triple4 ((triple4 ((triple3 ((((triple3) -> rule6) triple4) -> rule4)) -> rule8)) -> rule1)) -> rule7))] Erin is quiet.[(((triple5 triple6) -> rule3) OR ((triple6 triple4) -> rule4) OR ((triple5 ((triple3) -> rule6)) -> rule3) OR ((((triple3) -> rule6) triple4) -> rule4))] Gary is quiet.[(((triple7 triple8) -> rule3))] Harry is young.[(((triple9) -> rule6) OR ((((triple12 triple10) -> rule9)) -> rule6))] @2: Bob is kind.[(((((triple2) -> rule6)) -> rule2))] Erin is smart.[(((triple3 ((triple5 triple6) -> rule3)) -> rule8) OR ((triple3 ((triple6 triple4) -> rule4)) -> rule8) OR ((triple3 ((triple5 ((triple3) -> rule6)) -> rule3)) -> rule8) OR ((triple3 ((((triple3) -> rule6) triple4) -> rule4)) -> rule8))] @3: Bob is quiet.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule4))] @4: Bob is smart.[(((triple2 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule8))] @5: Bob is nice.[(((((((triple2) -> rule6)) -> rule2) ((triple2 ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule2)) -> rule4)) -> rule8)) -> rule1))]