Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is nice. If someone is blue and furry then they are kind. Blue, green people are cold. If someone is green then they are nice. If someone is cold and furry then they are nice. All furry, kind people are big. All furry, kind people are blue. Cold people are furry. Kind, nice people are furry.
Bob is nice.
@0: Bob is big.[(triple1 OR ((triple4 triple6) -> rule5) OR ((triple4 ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple3) -> rule7) triple6) -> rule5) OR ((((triple6 triple7) -> rule8) triple6) -> rule5) OR ((((triple3) -> rule7) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 triple4) -> rule1)) -> rule5) OR ((triple4 ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) triple6) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule5) OR ((((triple3) -> rule7) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 triple4) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 ((triple3) -> rule7)) -> rule1)) -> rule5) OR ((triple4 ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple3) -> rule7) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 triple7) -> rule8) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((((triple2 triple5) -> rule2)) -> rule7) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((triple5) -> rule3)) -> rule8) ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1)) -> rule5))] Bob is blue.[(triple2 OR ((triple4 triple6) -> rule6) OR ((((triple3) -> rule7) triple6) -> rule6) OR ((((triple6 triple7) -> rule8) triple6) -> rule6) OR ((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule6))] Bob is cold.[(triple3 OR ((triple2 triple5) -> rule2) OR ((((triple4 triple6) -> rule6) triple5) -> rule2) OR ((((((triple6 triple7) -> rule8) triple6) -> rule6) triple5) -> rule2) OR ((((((triple6 ((triple5) -> rule3)) -> rule8) triple6) -> rule6) triple5) -> rule2))] Bob is furry.[(triple4 OR ((triple3) -> rule7) OR ((triple6 triple7) -> rule8) OR ((((triple2 triple5) -> rule2)) -> rule7) OR ((triple6 ((triple5) -> rule3)) -> rule8))] Bob is green.[(triple5)] Bob is kind.[(triple6 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple3) -> rule7)) -> rule1) OR ((triple2 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule1))] Bob is nice.[(triple7 OR ((triple5) -> rule3) OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple3) -> rule7)) -> rule4) OR ((((triple2 triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((triple3 ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) triple4) -> rule4) OR ((((triple2 triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((((triple4 triple6) -> rule6) triple5) -> rule2) ((((triple2 triple5) -> rule2)) -> rule7)) -> rule4))]