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