Bob is furry. Bob is green. Bob is nice. Gary is big. Gary is furry. Gary is white. Gary is young. If someone is nice then they are green. Young people are furry. Nice people are cold. If someone is big and green then they are furry. Furry, green people are white. White, furry people are nice. If someone is big then they are nice. If someone is green then they are white.
Gary is young.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule1))] Bob is nice.[(triple3 OR ((((triple2) -> rule8) triple1) -> rule6) OR ((((triple1 triple2) -> rule5) triple1) -> rule6))] Gary is big.[(triple4)] Gary is furry.[(triple5 OR ((triple7) -> rule2) OR ((triple4 ((((triple4) -> rule7)) -> rule1)) -> rule4))] Gary is white.[(triple6 OR ((((((triple4) -> rule7)) -> rule1)) -> rule8) OR ((triple5 ((((triple4) -> rule7)) -> rule1)) -> rule5) OR ((((triple7) -> rule2) ((((triple4) -> rule7)) -> rule1)) -> rule5) OR ((((triple4 ((((triple4) -> rule7)) -> rule1)) -> rule4) ((((triple4) -> rule7)) -> rule1)) -> rule5))] Gary is young.[(triple7)] @1: Bob is cold.[(((triple3) -> rule3) OR ((((((triple2) -> rule8) triple1) -> rule6)) -> rule3) OR ((((((triple1 triple2) -> rule5) triple1) -> rule6)) -> rule3))] Bob is white.[(((triple2) -> rule8) OR ((triple1 triple2) -> rule5) OR ((((triple3) -> rule1)) -> rule8) OR ((triple1 ((triple3) -> rule1)) -> rule5))] Gary is nice.[(((triple4) -> rule7) OR ((triple6 triple5) -> rule6) OR ((triple6 ((triple7) -> rule2)) -> rule6))] @2: Gary is cold.[(((((triple4) -> rule7)) -> rule3) OR ((((triple6 triple5) -> rule6)) -> rule3) OR ((((triple6 ((triple7) -> rule2)) -> rule6)) -> rule3))] Gary is green.[(((((triple4) -> rule7)) -> rule1) OR ((((triple6 triple5) -> rule6)) -> rule1) OR ((((triple6 ((triple7) -> rule2)) -> rule6)) -> rule1))]