Bob is blue. Bob is furry. Bob is kind. Bob is smart. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is smart. Charlie is young. Gary is blue. Gary is cold. Gary is kind. Gary is red. Gary is smart. Gary is young. Blue people are cold. If someone is smart and red then they are kind. Smart, furry people are red. If Charlie is cold then Charlie is red. If someone is cold then they are young. If someone is furry then they are kind.
Charlie is cold.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple2) -> rule6) OR ((triple4 ((triple4 triple2) -> rule3)) -> rule2))] Bob is smart.[(triple4)] Charlie is blue.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7 OR ((triple6) -> rule6) OR ((triple8 ((triple8 triple6) -> rule3)) -> rule2) OR ((triple8 ((((triple5) -> rule1)) -> rule4)) -> rule2))] Charlie is smart.[(triple8)] Charlie is young.[(triple9 OR ((((triple5) -> rule1)) -> rule5))] Gary is blue.[(triple10)] Gary is cold.[(triple11 OR ((triple10) -> rule1))] Gary is kind.[(triple12 OR ((triple14 triple13) -> rule2))] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple11) -> rule5) OR ((((triple10) -> rule1)) -> rule5))] @1: Bob is cold.[(((triple1) -> rule1))] Bob is red.[(((triple4 triple2) -> rule3))] Charlie is cold.[(((triple5) -> rule1))] Charlie is red.[(((triple8 triple6) -> rule3) OR ((((triple5) -> rule1)) -> rule4))] @2: Bob is young.[(((((triple1) -> rule1)) -> rule5))]