Charlie is big. Charlie is cold. Charlie is kind. Charlie is smart. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is white. If something is green then it is kind. Kind things are cold. If something is smart then it is big. All green, white things are furry. If something is big then it is smart. If something is green then it is white. If something is kind then it is green. White, smart things are cold.
Charlie is not big.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule3))] Charlie is cold.[(triple2 OR ((triple3) -> rule2) OR ((((((triple3) -> rule7)) -> rule6) triple4) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) ((triple1) -> rule5)) -> rule8))] Charlie is kind.[(triple3)] Charlie is smart.[(triple4 OR ((triple1) -> rule5))] Fiona is big.[(triple5)] Fiona is cold.[(triple6 OR ((triple9) -> rule2) OR ((((triple8) -> rule1)) -> rule2) OR ((triple10 ((triple5) -> rule5)) -> rule8) OR ((((triple8) -> rule6) ((triple5) -> rule5)) -> rule8) OR ((((((triple9) -> rule7)) -> rule6) ((triple5) -> rule5)) -> rule8))] Fiona is furry.[(triple7 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple8) -> rule6)) -> rule4) OR ((((triple9) -> rule7) triple10) -> rule4) OR ((((triple9) -> rule7) ((triple8) -> rule6)) -> rule4) OR ((triple8 ((((triple9) -> rule7)) -> rule6)) -> rule4) OR ((((triple9) -> rule7) ((((triple9) -> rule7)) -> rule6)) -> rule4))] Fiona is green.[(triple8 OR ((triple9) -> rule7))] Fiona is kind.[(triple9 OR ((triple8) -> rule1))] Fiona is white.[(triple10 OR ((triple8) -> rule6) OR ((((triple9) -> rule7)) -> rule6))] @1: Charlie is green.[(((triple3) -> rule7))] Fiona is smart.[(((triple5) -> rule5))] @2: Charlie is white.[(((((triple3) -> rule7)) -> rule6))] @3: Charlie is furry.[(((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule4))]