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