Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is young. Charlie is cold. Charlie is green. Charlie is smart. Charlie is young. Erin is kind. Erin is smart. Harry is cold. Harry is green. Harry is quiet. Harry is smart. Harry is young. Green, young things are cold. All kind, quiet things are green. If Erin is young and Erin is blue then Erin is cold. All young, smart things are quiet. If something is cold and quiet then it is young. If something is quiet then it is green. Quiet things are young. If Charlie is green then Charlie is kind.
Charlie is not smart.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule6) OR ((triple3 triple4) -> rule2))] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5 OR ((triple4) -> rule7))] Charlie is cold.[(triple6 OR ((triple7 triple9) -> rule1) OR ((((((triple9 triple8) -> rule4)) -> rule6) triple9) -> rule1))] Charlie is green.[(triple7 OR ((((triple9 triple8) -> rule4)) -> rule6))] Charlie is smart.[(triple8)] Charlie is young.[(triple9)] Erin is kind.[(triple10)] Erin is smart.[(triple11)] Harry is cold.[(triple12 OR ((triple13 triple16) -> rule1) OR ((triple13 ((triple14) -> rule7)) -> rule1) OR ((((triple14) -> rule6) triple16) -> rule1) OR ((((triple14) -> rule6) ((triple14) -> rule7)) -> rule1) OR ((((((triple16 triple15) -> rule4)) -> rule6) triple16) -> rule1) OR ((((((triple16 triple15) -> rule4)) -> rule6) ((triple14) -> rule7)) -> rule1))] Harry is green.[(triple13 OR ((triple14) -> rule6) OR ((((triple16 triple15) -> rule4)) -> rule6))] Harry is quiet.[(triple14 OR ((triple16 triple15) -> rule4))] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple14) -> rule7) OR ((triple12 triple14) -> rule5))] @1: Bob is cold.[(((triple2 triple5) -> rule1) OR ((triple2 ((triple4) -> rule7)) -> rule1) OR ((((triple4) -> rule6) triple5) -> rule1) OR ((((triple3 triple4) -> rule2) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple4) -> rule7)) -> rule1) OR ((((triple3 triple4) -> rule2) ((triple4) -> rule7)) -> rule1))] Charlie is kind.[(((triple7) -> rule8) OR ((((((triple9 triple8) -> rule4)) -> rule6)) -> rule8))] Charlie is quiet.[(((triple9 triple8) -> rule4))]