Bob is big. Bob is cold. Bob is kind. Bob is quiet. Bob is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is white. Charlie is young. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is quiet. Harry is white. Big, white things are quiet. If something is big then it is kind. Blue things are white. All quiet, kind things are cold. Big things are blue. Kind things are cold. If Charlie is blue then Charlie is white. If Charlie is blue then Charlie is white.
Charlie is big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule6) OR ((triple4 triple3) -> rule4) OR ((((triple1) -> rule2)) -> rule6) OR ((triple4 ((triple1) -> rule2)) -> rule4) OR ((((triple1 triple5) -> rule1) triple3) -> rule4) OR ((((triple1 triple5) -> rule1) ((triple1) -> rule2)) -> rule4) OR ((((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule1) triple3) -> rule4) OR ((((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule1) ((triple1) -> rule2)) -> rule4))] Bob is kind.[(triple3 OR ((triple1) -> rule2))] Bob is quiet.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple1 ((((triple1) -> rule5)) -> rule3)) -> rule1))] Bob is white.[(triple5 OR ((((triple1) -> rule5)) -> rule3))] Charlie is big.[(triple6)] Charlie is blue.[(triple7 OR ((triple6) -> rule5))] Charlie is cold.[(triple8 OR ((((triple6) -> rule2)) -> rule6) OR ((((triple6 triple9) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((triple7) -> rule3)) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((triple7) -> rule7)) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((triple7) -> rule8)) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((((triple6) -> rule5)) -> rule3)) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule1) ((triple6) -> rule2)) -> rule4) OR ((((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule1) ((triple6) -> rule2)) -> rule4))] Charlie is white.[(triple9 OR ((triple7) -> rule3) OR ((triple7) -> rule7) OR ((triple7) -> rule8) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple6) -> rule5)) -> rule7) OR ((((triple6) -> rule5)) -> rule8))] Charlie is young.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple11) -> rule5))] Harry is cold.[(triple13 OR ((triple14) -> rule6) OR ((triple15 triple14) -> rule4) OR ((((triple11) -> rule2)) -> rule6) OR ((triple15 ((triple11) -> rule2)) -> rule4) OR ((((triple11 triple16) -> rule1) triple14) -> rule4) OR ((((triple11 triple16) -> rule1) ((triple11) -> rule2)) -> rule4) OR ((((triple11 ((triple12) -> rule3)) -> rule1) triple14) -> rule4) OR ((((triple11 ((triple12) -> rule3)) -> rule1) ((triple11) -> rule2)) -> rule4) OR ((((triple11 ((((triple11) -> rule5)) -> rule3)) -> rule1) triple14) -> rule4) OR ((((triple11 ((((triple11) -> rule5)) -> rule3)) -> rule1) ((triple11) -> rule2)) -> rule4))] Harry is kind.[(triple14 OR ((triple11) -> rule2))] Harry is quiet.[(triple15 OR ((triple11 triple16) -> rule1) OR ((triple11 ((triple12) -> rule3)) -> rule1) OR ((triple11 ((((triple11) -> rule5)) -> rule3)) -> rule1))] Harry is white.[(triple16 OR ((triple12) -> rule3) OR ((((triple11) -> rule5)) -> rule3))] @1: Bob is blue.[(((triple1) -> rule5))] Charlie is kind.[(((triple6) -> rule2))] Charlie is quiet.[(((triple6 triple9) -> rule1) OR ((triple6 ((triple7) -> rule3)) -> rule1) OR ((triple6 ((triple7) -> rule7)) -> rule1) OR ((triple6 ((triple7) -> rule8)) -> rule1) OR ((triple6 ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((triple6 ((((triple6) -> rule5)) -> rule7)) -> rule1) OR ((triple6 ((((triple6) -> rule5)) -> rule8)) -> rule1))]