Bob is big. Bob is cold. Bob is red. Bob is smart. Bob is white. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is smart. Gary is white. Harry is big. Harry is furry. Harry is smart. Harry is white. All red, kind things are smart. If something is red then it is white. If something is furry then it is cold. If something is big and white then it is kind. All smart, kind things are red. If something is red then it is kind. If something is cold and red then it is big. All furry, red things are white.
Gary is kind.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule7))] Bob is cold.[(triple2)] Bob is red.[(triple3 OR ((triple4 ((triple1 triple5) -> rule4)) -> rule5))] Bob is smart.[(triple4 OR ((triple3 ((triple3) -> rule6)) -> rule1) OR ((triple3 ((triple1 triple5) -> rule4)) -> rule1) OR ((triple3 ((triple1 ((triple3) -> rule2)) -> rule4)) -> rule1) OR ((triple3 ((((triple2 triple3) -> rule7) triple5) -> rule4)) -> rule1) OR ((triple3 ((((triple2 triple3) -> rule7) ((triple3) -> rule2)) -> rule4)) -> rule1))] Bob is white.[(triple5 OR ((triple3) -> rule2))] Gary is big.[(triple6 OR ((triple7 triple10) -> rule7) OR ((triple7 ((triple11 triple9) -> rule5)) -> rule7) OR ((((triple8) -> rule3) triple10) -> rule7) OR ((((triple8) -> rule3) ((triple11 triple9) -> rule5)) -> rule7))] Gary is cold.[(triple7 OR ((triple8) -> rule3))] Gary is furry.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule6) OR ((triple6 triple12) -> rule4) OR ((triple6 ((triple10) -> rule2)) -> rule4) OR ((triple6 ((triple8 triple10) -> rule8)) -> rule4) OR ((((triple7 triple10) -> rule7) triple12) -> rule4) OR ((((triple7 triple10) -> rule7) ((triple10) -> rule2)) -> rule4) OR ((((triple7 triple10) -> rule7) ((triple8 triple10) -> rule8)) -> rule4) OR ((((((triple8) -> rule3) triple10) -> rule7) triple12) -> rule4) OR ((((((triple8) -> rule3) triple10) -> rule7) ((triple10) -> rule2)) -> rule4) OR ((((((triple8) -> rule3) triple10) -> rule7) ((triple8 triple10) -> rule8)) -> rule4))] Gary is red.[(triple10 OR ((triple11 triple9) -> rule5) OR ((triple11 ((triple6 triple12) -> rule4)) -> rule5))] Gary is smart.[(triple11 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple10) -> rule6)) -> rule1) OR ((triple10 ((triple6 triple12) -> rule4)) -> rule1) OR ((triple10 ((triple6 ((triple10) -> rule2)) -> rule4)) -> rule1) OR ((triple10 ((triple6 ((triple8 triple10) -> rule8)) -> rule4)) -> rule1) OR ((triple10 ((((triple7 triple10) -> rule7) triple12) -> rule4)) -> rule1) OR ((triple10 ((((triple7 triple10) -> rule7) ((triple10) -> rule2)) -> rule4)) -> rule1) OR ((triple10 ((((triple7 triple10) -> rule7) ((triple8 triple10) -> rule8)) -> rule4)) -> rule1) OR ((triple10 ((((((triple8) -> rule3) triple10) -> rule7) triple12) -> rule4)) -> rule1) OR ((triple10 ((((((triple8) -> rule3) triple10) -> rule7) ((triple10) -> rule2)) -> rule4)) -> rule1) OR ((triple10 ((((((triple8) -> rule3) triple10) -> rule7) ((triple8 triple10) -> rule8)) -> rule4)) -> rule1))] Gary is white.[(triple12 OR ((triple10) -> rule2) OR ((triple8 triple10) -> rule8) OR ((((triple11 triple9) -> rule5)) -> rule2) OR ((triple8 ((triple11 triple9) -> rule5)) -> rule8))] Harry is big.[(triple13)] Harry is furry.[(triple14)] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Bob is kind.[(((triple3) -> rule6) OR ((triple1 triple5) -> rule4) OR ((triple1 ((triple3) -> rule2)) -> rule4) OR ((((triple2 triple3) -> rule7) triple5) -> rule4) OR ((((triple2 triple3) -> rule7) ((triple3) -> rule2)) -> rule4))] Harry is cold.[(((triple14) -> rule3))] Harry is kind.[(((triple13 triple16) -> rule4))] @2: Harry is red.[(((triple15 ((triple13 triple16) -> rule4)) -> rule5))]