Bob is cold. Bob is kind. Bob is young. Erin is cold. Erin is furry. Erin is kind. Erin is rough. Erin is white. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is round. Gary is white. Gary is young. All young things are rough. All furry, kind things are young. If Bob is young and Bob is furry then Bob is white. If something is kind and cold then it is round. If Gary is white and Gary is round then Gary is cold. Cold, round things are young. If something is white then it is rough. Young, rough things are cold.
Bob is furry.
@0: Bob is cold.[(triple1 OR ((triple3 ((triple3) -> rule1)) -> rule8))] Bob is kind.[(triple2)] Bob is young.[(triple3 OR ((triple1 ((triple2 triple1) -> rule4)) -> rule6))] Erin is cold.[(triple4 OR ((((triple5 triple6) -> rule2) triple7) -> rule8) OR ((((triple5 triple6) -> rule2) ((triple8) -> rule7)) -> rule8) OR ((((triple5 triple6) -> rule2) ((((triple5 triple6) -> rule2)) -> rule1)) -> rule8))] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is rough.[(triple7 OR ((triple8) -> rule7) OR ((((triple5 triple6) -> rule2)) -> rule1) OR ((((triple4 ((triple6 triple4) -> rule4)) -> rule6)) -> rule1))] Erin is white.[(triple8)] Gary is cold.[(triple9 OR ((triple14 triple13) -> rule5) OR ((triple15 triple12) -> rule8) OR ((triple15 ((triple14) -> rule7)) -> rule8) OR ((triple15 ((triple15) -> rule1)) -> rule8) OR ((((triple10 triple11) -> rule2) triple12) -> rule8) OR ((((triple10 triple11) -> rule2) ((triple14) -> rule7)) -> rule8) OR ((((triple10 triple11) -> rule2) ((triple15) -> rule1)) -> rule8) OR ((triple15 ((((triple10 triple11) -> rule2)) -> rule1)) -> rule8) OR ((((triple10 triple11) -> rule2) ((((triple10 triple11) -> rule2)) -> rule1)) -> rule8))] Gary is furry.[(triple10)] Gary is kind.[(triple11)] Gary is rough.[(triple12 OR ((triple14) -> rule7) OR ((triple15) -> rule1) OR ((((triple10 triple11) -> rule2)) -> rule1) OR ((((triple9 triple13) -> rule6)) -> rule1) OR ((((triple9 ((triple11 triple9) -> rule4)) -> rule6)) -> rule1) OR ((((((triple14 triple13) -> rule5) triple13) -> rule6)) -> rule1) OR ((((((triple14 triple13) -> rule5) ((triple11 triple9) -> rule4)) -> rule6)) -> rule1))] Gary is round.[(triple13 OR ((triple11 triple9) -> rule4) OR ((triple11 ((triple15 triple12) -> rule8)) -> rule4) OR ((triple11 ((triple15 ((triple14) -> rule7)) -> rule8)) -> rule4) OR ((triple11 ((triple15 ((triple15) -> rule1)) -> rule8)) -> rule4) OR ((triple11 ((((triple10 triple11) -> rule2) triple12) -> rule8)) -> rule4) OR ((triple11 ((((triple10 triple11) -> rule2) ((triple14) -> rule7)) -> rule8)) -> rule4) OR ((triple11 ((((triple10 triple11) -> rule2) ((triple15) -> rule1)) -> rule8)) -> rule4) OR ((triple11 ((triple15 ((((triple10 triple11) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((triple11 ((((triple10 triple11) -> rule2) ((((triple10 triple11) -> rule2)) -> rule1)) -> rule8)) -> rule4))] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple10 triple11) -> rule2) OR ((triple9 triple13) -> rule6) OR ((triple9 ((triple11 triple9) -> rule4)) -> rule6) OR ((((triple14 triple13) -> rule5) triple13) -> rule6) OR ((((triple14 triple13) -> rule5) ((triple11 triple9) -> rule4)) -> rule6))] @1: Bob is rough.[(((triple3) -> rule1) OR ((((triple1 ((triple2 triple1) -> rule4)) -> rule6)) -> rule1))] Bob is round.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple3 ((triple3) -> rule1)) -> rule8)) -> rule4))] Erin is round.[(((triple6 triple4) -> rule4) OR ((triple6 ((((triple5 triple6) -> rule2) triple7) -> rule8)) -> rule4) OR ((triple6 ((((triple5 triple6) -> rule2) ((triple8) -> rule7)) -> rule8)) -> rule4) OR ((triple6 ((((triple5 triple6) -> rule2) ((((triple5 triple6) -> rule2)) -> rule1)) -> rule8)) -> rule4))] Erin is young.[(((triple5 triple6) -> rule2) OR ((triple4 ((triple6 triple4) -> rule4)) -> rule6))]