Anne is big. Anne is cold. Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is round. Charlie is big. Charlie is cold. Charlie is furry. If something is furry then it is big. If Bob is blue then Bob is nice. All green things are nice. All nice things are round. If Bob is round and Bob is nice then Bob is blue. If Bob is cold then Bob is green. Furry, green things are big. If something is blue and nice then it is furry.
Bob is round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Bob is big.[(triple3 OR ((triple5) -> rule1) OR ((triple5 triple6) -> rule7) OR ((triple5 ((triple4) -> rule6)) -> rule7) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple7 ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8)) -> rule1) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8)) -> rule1) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) triple6) -> rule7) OR ((((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) ((triple4) -> rule6)) -> rule7))] Bob is cold.[(triple4)] Bob is furry.[(triple5 OR ((((triple7 ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((triple7 ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((triple6) -> rule3)) -> rule8) OR ((((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) ((((triple4) -> rule6)) -> rule3)) -> rule8))] Bob is green.[(triple6 OR ((triple4) -> rule6))] Bob is round.[(triple7 OR ((((triple6) -> rule3)) -> rule4) OR ((((((triple4) -> rule6)) -> rule3)) -> rule4))] Charlie is big.[(triple8 OR ((triple10) -> rule1))] Charlie is cold.[(triple9)] Charlie is furry.[(triple10)] @1: Bob is nice.[(((triple6) -> rule3) OR ((((triple4) -> rule6)) -> rule3))] @2: Bob is blue.[(((triple7 ((triple6) -> rule3)) -> rule5) OR ((triple7 ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) OR ((((((triple6) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5) OR ((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((triple6) -> rule3)) -> rule5) OR ((((((((triple4) -> rule6)) -> rule3)) -> rule4) ((((triple4) -> rule6)) -> rule3)) -> rule5))]