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