Charlie is blue. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Charlie is smart. Dave is green. Dave is smart. Dave is young. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is smart. Harry is young. If someone is red and quiet then they are young. If Charlie is quiet then Charlie is smart. If someone is red then they are cold. All smart, cold people are quiet. If Charlie is green then Charlie is blue. If Charlie is quiet and Charlie is green then Charlie is young. Blue people are cold. All red, young people are quiet.
Charlie is smart.
@0: Charlie is blue.[(triple1 OR ((triple3) -> rule5))] Charlie is cold.[(triple2 OR ((triple1) -> rule7) OR ((triple5) -> rule3) OR ((((triple3) -> rule5)) -> rule7))] Charlie is green.[(triple3)] Charlie is quiet.[(triple4 OR ((triple6 triple2) -> rule4) OR ((triple6 ((triple1) -> rule7)) -> rule4) OR ((triple6 ((triple5) -> rule3)) -> rule4) OR ((triple6 ((((triple3) -> rule5)) -> rule7)) -> rule4))] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule2))] Dave is green.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Harry is blue.[(triple10)] Harry is cold.[(triple11 OR ((triple10) -> rule7) OR ((triple14) -> rule3))] Harry is green.[(triple12)] Harry is quiet.[(triple13 OR ((triple14 triple16) -> rule8) OR ((triple15 triple11) -> rule4) OR ((triple15 ((triple10) -> rule7)) -> rule4) OR ((triple15 ((triple14) -> rule3)) -> rule4))] Harry is red.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16 OR ((triple14 triple13) -> rule1) OR ((triple14 ((triple15 triple11) -> rule4)) -> rule1) OR ((triple14 ((triple15 ((triple10) -> rule7)) -> rule4)) -> rule1) OR ((triple14 ((triple15 ((triple14) -> rule3)) -> rule4)) -> rule1))] @1: Charlie is young.[(((triple4 triple3) -> rule6) OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple6 triple2) -> rule4)) -> rule1) OR ((((triple6 triple2) -> rule4) triple3) -> rule6) OR ((triple5 ((triple6 ((triple1) -> rule7)) -> rule4)) -> rule1) OR ((triple5 ((triple6 ((triple5) -> rule3)) -> rule4)) -> rule1) OR ((((triple6 ((triple1) -> rule7)) -> rule4) triple3) -> rule6) OR ((((triple6 ((triple5) -> rule3)) -> rule4) triple3) -> rule6) OR ((triple5 ((triple6 ((((triple3) -> rule5)) -> rule7)) -> rule4)) -> rule1) OR ((((triple6 ((((triple3) -> rule5)) -> rule7)) -> rule4) triple3) -> rule6))]