Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is round. Gary is white. Gary is not young. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is round. Harry is white. Harry is young. Cold, kind people are round. All white people are round. If someone is furry and white then they are kind. If Gary is cold and Gary is furry then Gary is big. If Gary is cold then Gary is big. Big people are furry. Furry people are white. If someone is cold and round then they are big.
Harry is round.
@0: Gary is big.[(triple1 OR ((triple2) -> rule5) OR ((triple2 triple3) -> rule4) OR ((triple2 triple5) -> rule8) OR ((triple2 ((triple6) -> rule2)) -> rule8) OR ((triple2 ((triple2 triple4) -> rule1)) -> rule8) OR ((triple2 ((((triple3) -> rule7)) -> rule2)) -> rule8) OR ((triple2 ((triple2 ((triple3 triple6) -> rule3)) -> rule1)) -> rule8) OR ((triple2 ((triple2 ((triple3 ((triple3) -> rule7)) -> rule3)) -> rule1)) -> rule8))] Gary is cold.[(triple2)] Gary is furry.[(triple3 OR ((triple1) -> rule6) OR ((((triple2) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) OR ((((triple2 ((triple2 triple4) -> rule1)) -> rule8)) -> rule6))] Gary is kind.[(triple4 OR ((triple3 triple6) -> rule3) OR ((triple3 ((triple3) -> rule7)) -> rule3) OR ((((triple1) -> rule6) triple6) -> rule3) OR ((((triple1) -> rule6) ((triple3) -> rule7)) -> rule3) OR ((triple3 ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) triple6) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule6) triple6) -> rule3) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((triple3) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule6) ((triple3) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((triple3 ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((triple3 ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) triple6) -> rule3) OR ((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((triple1) -> rule6) ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) ((triple3) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2) -> rule5)) -> rule6) ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 triple5) -> rule8)) -> rule6) ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple2 ((triple6) -> rule2)) -> rule8)) -> rule6) ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7)) -> rule3))] Gary is not young.[(triple7)] Gary is round.[(triple5 OR ((triple6) -> rule2) OR ((triple2 triple4) -> rule1) OR ((((triple3) -> rule7)) -> rule2) OR ((triple2 ((triple3 triple6) -> rule3)) -> rule1) OR ((((((triple1) -> rule6)) -> rule7)) -> rule2) OR ((triple2 ((triple3 ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((triple1) -> rule6) triple6) -> rule3)) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule2) OR ((triple2 ((triple3 ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule6) triple6) -> rule3)) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule6) ((triple3) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule6) ((((triple1) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((triple3 ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((triple1) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple2 ((((((triple2) -> rule5)) -> rule6) ((((((triple2) -> rule5)) -> rule6)) -> rule7)) -> rule3)) -> rule1))] Gary is white.[(triple6 OR ((triple3) -> rule7) OR ((((triple1) -> rule6)) -> rule7) OR ((((((triple2) -> rule5)) -> rule6)) -> rule7) OR ((((((triple2 triple5) -> rule8)) -> rule6)) -> rule7) OR ((((((triple2 ((triple2 triple4) -> rule1)) -> rule8)) -> rule6)) -> rule7))] Harry is big.[(triple8 OR ((triple9 triple12) -> rule8) OR ((triple9 ((triple13) -> rule2)) -> rule8) OR ((triple9 ((triple9 triple11) -> rule1)) -> rule8) OR ((triple9 ((((triple10) -> rule7)) -> rule2)) -> rule8) OR ((triple9 ((triple9 ((triple10 triple13) -> rule3)) -> rule1)) -> rule8) OR ((triple9 ((triple9 ((triple10 ((triple10) -> rule7)) -> rule3)) -> rule1)) -> rule8))] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple8) -> rule6) OR ((((triple9 triple12) -> rule8)) -> rule6) OR ((((triple9 ((triple13) -> rule2)) -> rule8)) -> rule6) OR ((((triple9 ((triple9 triple11) -> rule1)) -> rule8)) -> rule6))] Harry is kind.[(triple11 OR ((triple10 triple13) -> rule3) OR ((triple10 ((triple10) -> rule7)) -> rule3) OR ((((triple8) -> rule6) triple13) -> rule3) OR ((((triple8) -> rule6) ((triple10) -> rule7)) -> rule3) OR ((triple10 ((((triple8) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule6) triple13) -> rule3) OR ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule6) ((triple10) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule3) OR ((triple10 ((((((triple9 triple12) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 ((triple13) -> rule2)) -> rule8)) -> rule6) triple13) -> rule3) OR ((((triple8) -> rule6) ((((((triple9 triple12) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 ((triple13) -> rule2)) -> rule8)) -> rule6) ((triple10) -> rule7)) -> rule3) OR ((((((triple9 triple12) -> rule8)) -> rule6) ((((((triple9 triple12) -> rule8)) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 ((triple13) -> rule2)) -> rule8)) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9 ((triple13) -> rule2)) -> rule8)) -> rule6) ((((((triple9 triple12) -> rule8)) -> rule6)) -> rule7)) -> rule3))] Harry is round.[(triple12 OR ((triple13) -> rule2) OR ((triple9 triple11) -> rule1) OR ((((triple10) -> rule7)) -> rule2) OR ((triple9 ((triple10 triple13) -> rule3)) -> rule1) OR ((((((triple8) -> rule6)) -> rule7)) -> rule2) OR ((triple9 ((triple10 ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((triple9 ((((triple8) -> rule6) triple13) -> rule3)) -> rule1) OR ((triple9 ((((triple8) -> rule6) ((triple10) -> rule7)) -> rule3)) -> rule1) OR ((triple9 ((triple10 ((((triple8) -> rule6)) -> rule7)) -> rule3)) -> rule1) OR ((triple9 ((((triple8) -> rule6) ((((triple8) -> rule6)) -> rule7)) -> rule3)) -> rule1))] Harry is white.[(triple13 OR ((triple10) -> rule7) OR ((((triple8) -> rule6)) -> rule7) OR ((((((triple9 triple12) -> rule8)) -> rule6)) -> rule7) OR ((((((triple9 ((triple9 triple11) -> rule1)) -> rule8)) -> rule6)) -> rule7))] Harry is young.[(triple14)]