Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Dave is green. Fiona is furry. Fiona is round. Gary is green. Gary is kind. Gary is smart. If someone is round then they are cold. Green people are round. If someone is red and furry then they are green. Green, kind people are cold. If someone is cold then they are furry. Furry people are smart. If someone is smart then they are kind.
Gary is not smart.
@0: Charlie is furry.[(triple1 OR ((((triple4) -> rule1)) -> rule5) OR ((((((triple2) -> rule2)) -> rule1)) -> rule5))] Charlie is green.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((((triple4) -> rule1)) -> rule5)) -> rule3))] Charlie is red.[(triple3)] Charlie is round.[(triple4 OR ((triple2) -> rule2) OR ((((triple3 triple1) -> rule3)) -> rule2))] Dave is green.[(triple5)] Fiona is furry.[(triple6 OR ((((triple7) -> rule1)) -> rule5))] Fiona is round.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9 OR ((triple10) -> rule7) OR ((((((((((triple8) -> rule2)) -> rule1)) -> rule5)) -> rule6)) -> rule7))] Gary is smart.[(triple10 OR ((((((triple8 triple9) -> rule4)) -> rule5)) -> rule6) OR ((((((((triple8) -> rule2)) -> rule1)) -> rule5)) -> rule6))] @1: Charlie is cold.[(((triple4) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((((triple3 triple1) -> rule3)) -> rule2)) -> rule1) OR ((triple2 ((((triple1) -> rule6)) -> rule7)) -> rule4) OR ((((triple3 triple1) -> rule3) ((((triple1) -> rule6)) -> rule7)) -> rule4))] Charlie is smart.[(((triple1) -> rule6) OR ((((((triple4) -> rule1)) -> rule5)) -> rule6) OR ((((((((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule6))] Dave is round.[(((triple5) -> rule2))] Fiona is cold.[(((triple7) -> rule1))] Fiona is smart.[(((triple6) -> rule6) OR ((((((triple7) -> rule1)) -> rule5)) -> rule6))] Gary is cold.[(((triple8 triple9) -> rule4) OR ((((triple8) -> rule2)) -> rule1) OR ((triple8 ((triple10) -> rule7)) -> rule4))] Gary is round.[(((triple8) -> rule2))] @2: Charlie is kind.[(((((triple1) -> rule6)) -> rule7) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule6)) -> rule7) OR ((((((((((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule6)) -> rule7))] Dave is cold.[(((((triple5) -> rule2)) -> rule1))] Fiona is kind.[(((((triple6) -> rule6)) -> rule7) OR ((((((((triple7) -> rule1)) -> rule5)) -> rule6)) -> rule7))] Gary is furry.[(((((triple8 triple9) -> rule4)) -> rule5) OR ((((((triple8) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 ((triple10) -> rule7)) -> rule4)) -> rule5))] @3: Dave is furry.[(((((((triple5) -> rule2)) -> rule1)) -> rule5))] @4: Dave is smart.[(((((((((triple5) -> rule2)) -> rule1)) -> rule5)) -> rule6))] @5: Dave is kind.[(((((((((((triple5) -> rule2)) -> rule1)) -> rule5)) -> rule6)) -> rule7))]