Bob is blue. Bob is furry. Bob is nice. Bob is quiet. Dave is cold. Dave is furry. Dave is nice. If Bob is nice then Bob is blue. If something is furry and cold then it is nice. If something is cold then it is furry. Quiet things are nice. If Bob is quiet then Bob is nice. If something is quiet and nice then it is cold. If something is blue and quiet then it is big. Cold, nice things are furry.
Dave is not big.
@0: Bob is blue.[(triple1 OR ((triple3) -> rule1) OR ((((triple4) -> rule4)) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Bob is furry.[(triple2 OR ((((triple4 triple3) -> rule6)) -> rule3) OR ((((triple4 triple3) -> rule6) triple3) -> rule8) OR ((((triple4 triple3) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((triple4 triple3) -> rule6) ((triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3) OR ((((triple4 ((triple4) -> rule4)) -> rule6) triple3) -> rule8) OR ((((triple4 ((triple4) -> rule5)) -> rule6) triple3) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule4)) -> rule6) ((triple4) -> rule5)) -> rule8) OR ((((triple4 ((triple4) -> rule5)) -> rule6) ((triple4) -> rule4)) -> rule8) OR ((((triple4 ((triple4) -> rule5)) -> rule6) ((triple4) -> rule5)) -> rule8))] Bob is nice.[(triple3 OR ((triple4) -> rule4) OR ((triple4) -> rule5))] Bob is quiet.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((triple5) -> rule3) OR ((triple5 triple7) -> rule8))] Dave is nice.[(triple7 OR ((triple6 triple5) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule2))] @1: Bob is big.[(((triple1 triple4) -> rule7) OR ((((triple3) -> rule1) triple4) -> rule7) OR ((((((triple4) -> rule4)) -> rule1) triple4) -> rule7) OR ((((((triple4) -> rule5)) -> rule1) triple4) -> rule7))] Bob is cold.[(((triple4 triple3) -> rule6) OR ((triple4 ((triple4) -> rule4)) -> rule6) OR ((triple4 ((triple4) -> rule5)) -> rule6))]