Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is round. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is round. Fiona is smart. If Charlie is cold and Charlie is quiet then Charlie is big. All furry people are cold. All smart people are quiet. If someone is furry then they are smart. All quiet, smart people are round. Smart, furry people are cold.
Charlie is quiet.
@0: Charlie is big.[(triple1 OR ((triple3 ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((triple4) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule1) OR ((((((triple4) -> rule4) triple4) -> rule6) ((((triple4) -> rule4)) -> rule3)) -> rule1))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3 OR ((triple4) -> rule2) OR ((((triple4) -> rule4) triple4) -> rule6))] Charlie is furry.[(triple4)] Charlie is round.[(triple5 OR ((((((triple4) -> rule4)) -> rule3) ((triple4) -> rule4)) -> rule5))] Fiona is big.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple9) -> rule2) OR ((triple12 triple9) -> rule6) OR ((((triple9) -> rule4) triple9) -> rule6))] Fiona is furry.[(triple9)] Fiona is quiet.[(triple10 OR ((triple12) -> rule3) OR ((((triple9) -> rule4)) -> rule3))] Fiona is round.[(triple11 OR ((triple10 triple12) -> rule5) OR ((triple10 ((triple9) -> rule4)) -> rule5) OR ((((triple12) -> rule3) triple12) -> rule5) OR ((((triple12) -> rule3) ((triple9) -> rule4)) -> rule5) OR ((((((triple9) -> rule4)) -> rule3) triple12) -> rule5) OR ((((((triple9) -> rule4)) -> rule3) ((triple9) -> rule4)) -> rule5))] Fiona is smart.[(triple12 OR ((triple9) -> rule4))] @1: Charlie is smart.[(((triple4) -> rule4))] @2: Charlie is quiet.[(((((triple4) -> rule4)) -> rule3))]