Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Bob is white. If something is big then it is furry. Red, smart things are quiet. Furry things are big. If something is smart and white then it is quiet. All quiet things are big. If Bob is red and Bob is big then Bob is quiet. All red, furry things are white. Smart things are kind.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule5) OR ((((triple5 triple6) -> rule2)) -> rule5) OR ((((triple6 triple7) -> rule4)) -> rule5) OR ((((triple6 ((triple5 triple2) -> rule7)) -> rule4)) -> rule5))] Bob is furry.[(triple2 OR ((triple1) -> rule1) OR ((((triple4) -> rule5)) -> rule1) OR ((((((triple5 triple6) -> rule2)) -> rule5)) -> rule1) OR ((((((triple6 triple7) -> rule4)) -> rule5)) -> rule1))] Bob is kind.[(triple3 OR ((triple6) -> rule8))] Bob is quiet.[(triple4 OR ((triple5 triple1) -> rule6) OR ((triple5 triple6) -> rule2) OR ((triple6 triple7) -> rule4) OR ((triple5 ((triple2) -> rule3)) -> rule6) OR ((triple6 ((triple5 triple2) -> rule7)) -> rule4) OR ((triple6 ((triple5 ((triple1) -> rule1)) -> rule7)) -> rule4))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Bob is white.[(triple7 OR ((triple5 triple2) -> rule7) OR ((triple5 ((triple1) -> rule1)) -> rule7) OR ((triple5 ((((triple4) -> rule5)) -> rule1)) -> rule7) OR ((triple5 ((((((triple5 triple6) -> rule2)) -> rule5)) -> rule1)) -> rule7))]