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