Anne is quiet. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is quiet. Bob is rough. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. All quiet, cold things are furry. If Charlie is green and Charlie is big then Charlie is furry. All furry things are big. All quiet, rough things are big. Green things are cold. If something is big and rough then it is cold. All big things are furry. If something is cold then it is furry.
Anne is blue.
@0: Anne is quiet.[(triple1)] Anne is rough.[(triple2)] Bob is big.[(triple3 OR ((triple6) -> rule3) OR ((triple8 triple9) -> rule4) OR ((((triple5) -> rule8)) -> rule3) OR ((((triple8 triple5) -> rule1)) -> rule3) OR ((((((triple7) -> rule5)) -> rule8)) -> rule3) OR ((((triple8 ((triple7) -> rule5)) -> rule1)) -> rule3))] Bob is blue.[(triple4)] Bob is cold.[(triple5 OR ((triple7) -> rule5) OR ((triple3 triple9) -> rule6) OR ((((triple6) -> rule3) triple9) -> rule6) OR ((((triple8 triple9) -> rule4) triple9) -> rule6))] Bob is furry.[(triple6 OR ((triple3) -> rule7) OR ((triple5) -> rule8) OR ((triple8 triple5) -> rule1) OR ((((triple7) -> rule5)) -> rule8) OR ((((triple3 triple9) -> rule6)) -> rule8) OR ((((triple8 triple9) -> rule4)) -> rule7) OR ((triple8 ((triple7) -> rule5)) -> rule1) OR ((triple8 ((triple3 triple9) -> rule6)) -> rule1) OR ((((((triple8 triple9) -> rule4) triple9) -> rule6)) -> rule8) OR ((triple8 ((((triple8 triple9) -> rule4) triple9) -> rule6)) -> rule1))] Bob is green.[(triple7)] Bob is quiet.[(triple8)] Bob is rough.[(triple9)] Charlie is big.[(triple10 OR ((triple13) -> rule3) OR ((triple15 triple16) -> rule4) OR ((((triple12) -> rule8)) -> rule3) OR ((((triple15 triple12) -> rule1)) -> rule3) OR ((((((triple14) -> rule5)) -> rule8)) -> rule3) OR ((((triple15 ((triple14) -> rule5)) -> rule1)) -> rule3))] Charlie is blue.[(triple11)] Charlie is cold.[(triple12 OR ((triple14) -> rule5) OR ((triple10 triple16) -> rule6) OR ((((triple13) -> rule3) triple16) -> rule6) OR ((((triple15 triple16) -> rule4) triple16) -> rule6))] Charlie is furry.[(triple13 OR ((triple10) -> rule7) OR ((triple12) -> rule8) OR ((triple14 triple10) -> rule2) OR ((triple15 triple12) -> rule1) OR ((((triple14) -> rule5)) -> rule8) OR ((((triple10 triple16) -> rule6)) -> rule8) OR ((((triple15 triple16) -> rule4)) -> rule7) OR ((triple14 ((triple15 triple16) -> rule4)) -> rule2) OR ((triple15 ((triple14) -> rule5)) -> rule1) OR ((triple15 ((triple10 triple16) -> rule6)) -> rule1) OR ((((((triple15 triple16) -> rule4) triple16) -> rule6)) -> rule8) OR ((triple15 ((((triple15 triple16) -> rule4) triple16) -> rule6)) -> rule1))] Charlie is green.[(triple14)] Charlie is quiet.[(triple15)] Charlie is rough.[(triple16)] @1: Anne is big.[(((triple1 triple2) -> rule4))] @2: Anne is cold.[(((((triple1 triple2) -> rule4) triple2) -> rule6))] Anne is furry.[(((((triple1 triple2) -> rule4)) -> rule7) OR ((((((triple1 triple2) -> rule4) triple2) -> rule6)) -> rule8) OR ((triple1 ((((triple1 triple2) -> rule4) triple2) -> rule6)) -> rule1))]