Bob is blue. Bob is not cold. Bob is quiet. Bob is smart. Bob is not young. Dave is not young. Gary is blue. Gary is cold. Gary is nice. Gary is round. Gary is smart. Gary is young. If something is young and nice then it is smart. All round, young things are blue. If something is cold and nice then it is blue. All smart things are blue. If something is blue then it is round. If Bob is young then Bob is cold. If something is round and not nice then it is not quiet. If something is round and not young then it is quiet.
Bob is blue.
@0: Bob is blue.[(triple1 OR ((triple4) -> rule4))] Bob is not cold.[(triple2)] Bob is not young.[(triple5)] Bob is quiet.[(triple3 OR ((((triple1) -> rule5) triple5) -> rule8) OR ((((((triple4) -> rule4)) -> rule5) triple5) -> rule8))] Bob is smart.[(triple4)] Dave is not young.[(triple6)] Gary is blue.[(triple7 OR ((triple11) -> rule4) OR ((triple10 triple12) -> rule2) OR ((triple8 triple9) -> rule3) OR ((((triple12 triple9) -> rule1)) -> rule4))] Gary is cold.[(triple8)] Gary is nice.[(triple9)] Gary is round.[(triple10 OR ((triple7) -> rule5) OR ((((triple11) -> rule4)) -> rule5) OR ((((triple8 triple9) -> rule3)) -> rule5) OR ((((((triple12 triple9) -> rule1)) -> rule4)) -> rule5))] Gary is smart.[(triple11 OR ((triple12 triple9) -> rule1))] Gary is young.[(triple12)] @1: Bob is round.[(((triple1) -> rule5) OR ((((triple4) -> rule4)) -> rule5))]