Charlie is cold. Charlie is green. Charlie is red. Charlie is white. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Harry is cold. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is smart. Harry is white. All smart, furry things are red. If something is cold and smart then it is furry. If Harry is cold then Harry is red. Cold, smart things are furry. All round, green things are smart. If something is red then it is round.
Charlie is furry.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is white.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6 OR ((triple7 ((triple5 triple7) -> rule2)) -> rule1) OR ((triple7 ((triple5 triple7) -> rule4)) -> rule1))] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple9 triple14) -> rule2) OR ((triple9 triple14) -> rule4) OR ((triple9 ((triple13 triple11) -> rule5)) -> rule2) OR ((triple9 ((triple13 triple11) -> rule5)) -> rule4) OR ((triple9 ((((triple12) -> rule6) triple11) -> rule5)) -> rule2) OR ((triple9 ((((triple12) -> rule6) triple11) -> rule5)) -> rule4) OR ((triple9 ((((((triple9) -> rule3)) -> rule6) triple11) -> rule5)) -> rule2) OR ((triple9 ((((((triple9) -> rule3)) -> rule6) triple11) -> rule5)) -> rule4))] Harry is green.[(triple11)] Harry is red.[(triple12 OR ((triple9) -> rule3) OR ((triple14 triple10) -> rule1) OR ((triple14 ((triple9 triple14) -> rule2)) -> rule1) OR ((triple14 ((triple9 triple14) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule5) triple10) -> rule1) OR ((((triple13 triple11) -> rule5) ((triple9 triple14) -> rule2)) -> rule1) OR ((((triple13 triple11) -> rule5) ((triple9 triple14) -> rule4)) -> rule1) OR ((triple14 ((triple9 ((triple13 triple11) -> rule5)) -> rule2)) -> rule1) OR ((triple14 ((triple9 ((triple13 triple11) -> rule5)) -> rule4)) -> rule1) OR ((((triple13 triple11) -> rule5) ((triple9 ((triple13 triple11) -> rule5)) -> rule2)) -> rule1) OR ((((triple13 triple11) -> rule5) ((triple9 ((triple13 triple11) -> rule5)) -> rule4)) -> rule1))] Harry is round.[(triple13 OR ((triple12) -> rule6) OR ((((triple9) -> rule3)) -> rule6) OR ((((triple14 triple10) -> rule1)) -> rule6) OR ((((triple14 ((triple9 triple14) -> rule2)) -> rule1)) -> rule6) OR ((((triple14 ((triple9 triple14) -> rule4)) -> rule1)) -> rule6))] Harry is smart.[(triple14 OR ((triple13 triple11) -> rule5) OR ((((triple12) -> rule6) triple11) -> rule5) OR ((((((triple9) -> rule3)) -> rule6) triple11) -> rule5))] Harry is white.[(triple15)] @1: Charlie is round.[(((triple3) -> rule6))] Fiona is furry.[(((triple5 triple7) -> rule2) OR ((triple5 triple7) -> rule4))] Fiona is round.[(((triple6) -> rule6) OR ((((triple7 ((triple5 triple7) -> rule2)) -> rule1)) -> rule6) OR ((((triple7 ((triple5 triple7) -> rule4)) -> rule1)) -> rule6))] @2: Charlie is smart.[(((((triple3) -> rule6) triple2) -> rule5))] @3: Charlie is furry.[(((triple1 ((((triple3) -> rule6) triple2) -> rule5)) -> rule2) OR ((triple1 ((((triple3) -> rule6) triple2) -> rule5)) -> rule4))]