Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is red. Bob is rough. Bob is smart. Erin is blue. Erin is kind. Erin is red. Erin is rough. Erin is smart. Harry is blue. Harry is cold. Harry is kind. All furry, cold people are rough. Red people are smart. Smart people are furry. If Erin is rough then Erin is cold. If someone is red then they are smart. If someone is kind and rough then they are furry. All cold, blue people are smart. All blue, cold people are red.
Harry is smart.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((triple7) -> rule3) OR ((triple4 triple6) -> rule6) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule7)) -> rule3) OR ((((((triple1 triple2) -> rule8)) -> rule2)) -> rule3) OR ((((((triple1 triple2) -> rule8)) -> rule5)) -> rule3))] Bob is kind.[(triple4)] Bob is red.[(triple5 OR ((triple1 triple2) -> rule8))] Bob is rough.[(triple6 OR ((triple3 triple2) -> rule1) OR ((((triple7) -> rule3) triple2) -> rule1) OR ((((((triple5) -> rule2)) -> rule3) triple2) -> rule1) OR ((((((triple5) -> rule5)) -> rule3) triple2) -> rule1) OR ((((((triple2 triple1) -> rule7)) -> rule3) triple2) -> rule1) OR ((((((((triple1 triple2) -> rule8)) -> rule2)) -> rule3) triple2) -> rule1) OR ((((((((triple1 triple2) -> rule8)) -> rule5)) -> rule3) triple2) -> rule1))] Bob is smart.[(triple7 OR ((triple5) -> rule2) OR ((triple5) -> rule5) OR ((triple2 triple1) -> rule7) OR ((((triple1 triple2) -> rule8)) -> rule2) OR ((((triple1 triple2) -> rule8)) -> rule5))] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is red.[(triple10 OR ((triple8 ((triple11) -> rule4)) -> rule8))] Erin is rough.[(triple11)] Erin is smart.[(triple12 OR ((triple10) -> rule2) OR ((triple10) -> rule5) OR ((((triple11) -> rule4) triple8) -> rule7) OR ((((triple8 ((triple11) -> rule4)) -> rule8)) -> rule2) OR ((((triple8 ((triple11) -> rule4)) -> rule8)) -> rule5))] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is kind.[(triple15)] @1: Erin is cold.[(((triple11) -> rule4))] Erin is furry.[(((triple12) -> rule3) OR ((triple9 triple11) -> rule6) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple10) -> rule5)) -> rule3) OR ((((((triple11) -> rule4) triple8) -> rule7)) -> rule3) OR ((((((triple8 ((triple11) -> rule4)) -> rule8)) -> rule2)) -> rule3) OR ((((((triple8 ((triple11) -> rule4)) -> rule8)) -> rule5)) -> rule3))] Harry is red.[(((triple13 triple14) -> rule8))] Harry is smart.[(((triple14 triple13) -> rule7) OR ((((triple13 triple14) -> rule8)) -> rule2) OR ((((triple13 triple14) -> rule8)) -> rule5))] @2: Harry is furry.[(((((triple14 triple13) -> rule7)) -> rule3) OR ((((((triple13 triple14) -> rule8)) -> rule2)) -> rule3) OR ((((((triple13 triple14) -> rule8)) -> rule5)) -> rule3))] @3: Harry is rough.[(((((((triple14 triple13) -> rule7)) -> rule3) triple14) -> rule1) OR ((((((((triple13 triple14) -> rule8)) -> rule2)) -> rule3) triple14) -> rule1) OR ((((((((triple13 triple14) -> rule8)) -> rule5)) -> rule3) triple14) -> rule1))]