Anne is quiet. Bob is blue. Charlie is smart. Gary is kind. Gary is quiet. Gary is smart. Gary is young. Young, nice things are cold. If Gary is nice then Gary is young. If something is quiet and nice then it is young. All blue, quiet things are nice. All cold things are smart. All young, kind things are blue. All blue things are quiet. If Bob is blue then Bob is kind.
Bob is smart.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Charlie is smart.[(triple3)] Gary is kind.[(triple4)] Gary is quiet.[(triple5 OR ((((triple7 triple4) -> rule6)) -> rule7))] Gary is smart.[(triple6 OR ((((triple7 ((((triple7 triple4) -> rule6) triple5) -> rule4)) -> rule1)) -> rule5) OR ((((triple7 ((((triple7 triple4) -> rule6) ((((triple7 triple4) -> rule6)) -> rule7)) -> rule4)) -> rule1)) -> rule5))] Gary is young.[(triple7)] @1: Bob is kind.[(((triple2) -> rule8))] Bob is quiet.[(((triple2) -> rule7))] Gary is blue.[(((triple7 triple4) -> rule6))] @2: Bob is nice.[(((triple2 ((triple2) -> rule7)) -> rule4))] Gary is nice.[(((((triple7 triple4) -> rule6) triple5) -> rule4) OR ((((triple7 triple4) -> rule6) ((((triple7 triple4) -> rule6)) -> rule7)) -> rule4))] @3: Bob is young.[(((((triple2) -> rule7) ((triple2 ((triple2) -> rule7)) -> rule4)) -> rule3))] Gary is cold.[(((triple7 ((((triple7 triple4) -> rule6) triple5) -> rule4)) -> rule1) OR ((triple7 ((((triple7 triple4) -> rule6) ((((triple7 triple4) -> rule6)) -> rule7)) -> rule4)) -> rule1))] @4: Bob is cold.[(((((((triple2) -> rule7) ((triple2 ((triple2) -> rule7)) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule4)) -> rule1))] @5: Bob is smart.[(((((((((triple2) -> rule7) ((triple2 ((triple2) -> rule7)) -> rule4)) -> rule3) ((triple2 ((triple2) -> rule7)) -> rule4)) -> rule1)) -> rule5))]