Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. If something is red and young then it is white. Cold things are white. If something is furry then it is young. If something is young and white then it is cold. Cold things are furry. All red, rough things are young. If Charlie is cold then Charlie is young. If something is cold then it is furry.
Charlie is young.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple3) -> rule3) triple6) -> rule4) OR ((((triple4 triple5) -> rule6) triple6) -> rule4) OR ((((triple3) -> rule3) ((triple4 triple7) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4) OR ((triple7 ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4) OR ((((triple3) -> rule3) ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((triple3) -> rule3) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 ((triple3) -> rule3)) -> rule1)) -> rule4) OR ((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4))] Anne is furry.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule8) OR ((((triple7 triple6) -> rule4)) -> rule5) OR ((((triple7 triple6) -> rule4)) -> rule8) OR ((((triple7 ((triple4 triple7) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) triple6) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) triple6) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) ((triple4 triple7) -> rule1)) -> rule4)) -> rule8) OR ((((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule6) ((triple4 ((triple4 triple5) -> rule6)) -> rule1)) -> rule4)) -> rule8))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule2) OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((triple4 triple5) -> rule6)) -> rule1) OR ((triple4 ((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((triple4 ((((triple2) -> rule8)) -> rule3)) -> rule1))] Anne is young.[(triple7 OR ((triple3) -> rule3) OR ((triple4 triple5) -> rule6) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule8)) -> rule3))] Charlie is blue.[(triple8)] Charlie is cold.[(triple9 OR ((triple14 triple13) -> rule4) OR ((triple14 ((triple11 triple14) -> rule1)) -> rule4) OR ((((triple10) -> rule3) triple13) -> rule4) OR ((((triple11 triple12) -> rule6) triple13) -> rule4) OR ((((triple10) -> rule3) ((triple11 triple14) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4) OR ((triple14 ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((triple10) -> rule3) ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((((triple10) -> rule3) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 ((triple10) -> rule3)) -> rule1)) -> rule4) OR ((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4))] Charlie is furry.[(triple10 OR ((triple9) -> rule5) OR ((triple9) -> rule8) OR ((((triple14 triple13) -> rule4)) -> rule5) OR ((((triple14 triple13) -> rule4)) -> rule8) OR ((((triple14 ((triple11 triple14) -> rule1)) -> rule4)) -> rule5) OR ((((triple14 ((triple11 triple14) -> rule1)) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) triple13) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) triple13) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) ((triple11 triple14) -> rule1)) -> rule4)) -> rule8) OR ((((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((triple14 ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule6) ((triple11 ((triple11 triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8))] Charlie is red.[(triple11)] Charlie is rough.[(triple12)] Charlie is white.[(triple13 OR ((triple9) -> rule2) OR ((triple11 triple14) -> rule1) OR ((triple11 ((triple10) -> rule3)) -> rule1) OR ((triple11 ((triple9) -> rule7)) -> rule1) OR ((triple11 ((triple11 triple12) -> rule6)) -> rule1) OR ((triple11 ((((triple9) -> rule5)) -> rule3)) -> rule1) OR ((triple11 ((((triple9) -> rule8)) -> rule3)) -> rule1))] Charlie is young.[(triple14 OR ((triple10) -> rule3) OR ((triple9) -> rule7) OR ((triple11 triple12) -> rule6) OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule8)) -> rule3))]