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