Bob is cold. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Bob is white. Bob is young. If Bob is smart and Bob is cold then Bob is young. If Bob is cold and Bob is nice then Bob is young. If Bob is nice and Bob is cold then Bob is young. If something is young then it is quiet. If Bob is cold then Bob is nice. Round, young things are white. Nice, cold things are round. Cold things are round.
Bob is nice.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2 OR ((triple1) -> rule5))] Bob is quiet.[(triple3 OR ((triple7) -> rule4) OR ((((triple1 triple2) -> rule2)) -> rule4) OR ((((triple2 triple1) -> rule3)) -> rule4) OR ((((triple5 triple1) -> rule1)) -> rule4) OR ((((triple1 ((triple1) -> rule5)) -> rule2)) -> rule4) OR ((((((triple1) -> rule5) triple1) -> rule3)) -> rule4))] Bob is round.[(triple4 OR ((triple1) -> rule8) OR ((triple2 triple1) -> rule7) OR ((((triple1) -> rule5) triple1) -> rule7))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple1 triple2) -> rule2)) -> rule6) OR ((triple4 ((triple2 triple1) -> rule3)) -> rule6) OR ((triple4 ((triple5 triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule8) triple7) -> rule6) OR ((((triple2 triple1) -> rule7) triple7) -> rule6) OR ((((triple1) -> rule8) ((triple1 triple2) -> rule2)) -> rule6) OR ((((triple1) -> rule8) ((triple2 triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule8) ((triple5 triple1) -> rule1)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple1 triple2) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple2 triple1) -> rule3)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple5 triple1) -> rule1)) -> rule6) OR ((triple4 ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) OR ((triple4 ((((triple1) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) triple7) -> rule6) OR ((((triple1) -> rule8) ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((triple1) -> rule8) ((((triple1) -> rule5) triple1) -> rule3)) -> rule6) OR ((((triple2 triple1) -> rule7) ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((triple2 triple1) -> rule7) ((((triple1) -> rule5) triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) ((triple1 triple2) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) ((triple2 triple1) -> rule3)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) ((triple5 triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) ((triple1 ((triple1) -> rule5)) -> rule2)) -> rule6) OR ((((((triple1) -> rule5) triple1) -> rule7) ((((triple1) -> rule5) triple1) -> rule3)) -> rule6))] Bob is young.[(triple7 OR ((triple1 triple2) -> rule2) OR ((triple2 triple1) -> rule3) OR ((triple5 triple1) -> rule1) OR ((triple1 ((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule5) triple1) -> rule3))]