Bob is furry. Bob is kind. Bob is round. Dave is blue. Dave is furry. Dave is kind. Dave is nice. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Fiona is white. Kind people are smart. If someone is blue and nice then they are kind. All blue people are smart. If someone is kind and blue then they are round. If someone is white and nice then they are furry. If someone is blue then they are white. If someone is furry then they are blue. If someone is nice and round then they are blue.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is blue and nice then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
All blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is white and nice then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is furry then they are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Bob is furry.
True
1
proof
[(triple1)]
("Bob" "is" "furry" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple3 OR ((triple2 ((triple1) -> rule7)) -> rule4))]
("Bob" "is" "round" "-")
triple3
((triple2 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is white.
True
2
proof
[(((triple4) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule8)) -> rule6))]
("Dave" "is" "white" "+")
((triple4) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7 triple8) -> (rule8 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not white.
False
2
inv-proof
[(((triple4) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule8)) -> rule6))]
("Dave" "is" "white" "-")
((triple4) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7 triple8) -> (rule8 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Bob is white.
True
3
proof
[(((((triple1) -> rule7)) -> rule6))]
("Bob" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule6))]
("Bob" "is" "white" "-")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3 OR ((triple2 ((triple1) -> rule7)) -> rule4))] Dave is blue.[(triple4 OR ((triple5) -> rule7) OR ((triple7 triple8) -> rule8))] Dave is furry.[(triple5 OR ((((triple4) -> rule6) triple7) -> rule5) OR ((((((triple7 triple8) -> rule8)) -> rule6) triple7) -> rule5))] Dave is kind.[(triple6 OR ((triple4 triple7) -> rule2) OR ((((triple5) -> rule7) triple7) -> rule2) OR ((((triple7 triple8) -> rule8) triple7) -> rule2))] Dave is nice.[(triple7)] Dave is round.[(triple8 OR ((triple6 triple4) -> rule4) OR ((triple6 ((triple5) -> rule7)) -> rule4) OR ((((triple4 triple7) -> rule2) triple4) -> rule4) OR ((((triple4 triple7) -> rule2) ((triple5) -> rule7)) -> rule4) OR ((((((triple5) -> rule7) triple7) -> rule2) triple4) -> rule4) OR ((((((triple5) -> rule7) triple7) -> rule2) ((triple5) -> rule7)) -> rule4))] Dave is smart.[(triple9 OR ((triple4) -> rule3) OR ((triple6) -> rule1) OR ((((triple5) -> rule7)) -> rule3) OR ((((triple4 triple7) -> rule2)) -> rule1) OR ((((triple7 triple8) -> rule8)) -> rule3) OR ((((((triple5) -> rule7) triple7) -> rule2)) -> rule1) OR ((((((triple7 triple8) -> rule8) triple7) -> rule2)) -> rule1))] Fiona is blue.[(triple10 OR ((triple11) -> rule7) OR ((triple13 triple14) -> rule8) OR ((((triple16 triple13) -> rule5)) -> rule7))] Fiona is furry.[(triple11 OR ((triple16 triple13) -> rule5) OR ((((triple10) -> rule6) triple13) -> rule5) OR ((((((triple13 triple14) -> rule8)) -> rule6) triple13) -> rule5))] Fiona is kind.[(triple12 OR ((triple10 triple13) -> rule2) OR ((((triple11) -> rule7) triple13) -> rule2) OR ((((triple13 triple14) -> rule8) triple13) -> rule2) OR ((((((triple16 triple13) -> rule5)) -> rule7) triple13) -> rule2))] Fiona is nice.[(triple13)] Fiona is round.[(triple14 OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple11) -> rule7)) -> rule4) OR ((((triple10 triple13) -> rule2) triple10) -> rule4) OR ((((triple10 triple13) -> rule2) ((triple11) -> rule7)) -> rule4) OR ((triple12 ((((triple16 triple13) -> rule5)) -> rule7)) -> rule4) OR ((((((triple11) -> rule7) triple13) -> rule2) triple10) -> rule4) OR ((((triple10 triple13) -> rule2) ((((triple16 triple13) -> rule5)) -> rule7)) -> rule4) OR ((((((triple11) -> rule7) triple13) -> rule2) ((triple11) -> rule7)) -> rule4) OR ((((((triple11) -> rule7) triple13) -> rule2) ((((triple16 triple13) -> rule5)) -> rule7)) -> rule4) OR ((((((((triple16 triple13) -> rule5)) -> rule7) triple13) -> rule2) triple10) -> rule4) OR ((((((((triple16 triple13) -> rule5)) -> rule7) triple13) -> rule2) ((triple11) -> rule7)) -> rule4) OR ((((((((triple16 triple13) -> rule5)) -> rule7) triple13) -> rule2) ((((triple16 triple13) -> rule5)) -> rule7)) -> rule4))] Fiona is smart.[(triple15 OR ((triple10) -> rule3) OR ((triple12) -> rule1) OR ((((triple11) -> rule7)) -> rule3) OR ((((triple10 triple13) -> rule2)) -> rule1) OR ((((triple13 triple14) -> rule8)) -> rule3) OR ((((((triple16 triple13) -> rule5)) -> rule7)) -> rule3) OR ((((((triple11) -> rule7) triple13) -> rule2)) -> rule1) OR ((((((triple13 triple14) -> rule8) triple13) -> rule2)) -> rule1) OR ((((((((triple16 triple13) -> rule5)) -> rule7) triple13) -> rule2)) -> rule1))] Fiona is white.[(triple16 OR ((triple10) -> rule6) OR ((((triple11) -> rule7)) -> rule6) OR ((((triple13 triple14) -> rule8)) -> rule6))] @1: Bob is blue.[(((triple1) -> rule7))] Bob is smart.[(((triple2) -> rule1) OR ((((triple1) -> rule7)) -> rule3))] Dave is white.[(((triple4) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple7 triple8) -> rule8)) -> rule6))] @2: Bob is white.[(((((triple1) -> rule7)) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2 ((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple5) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple7 triple8) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((((triple4) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple7 triple8) -> (rule8 % int3))) -> (rule6 % int2)) triple7) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
((triple4 triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple5) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7 triple8) -> (rule8 % int2)) triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
((triple6 triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
((triple6 ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple7) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple4 triple7) -> (rule2 % int3)) ((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple5) -> (rule7 % int3)) triple7) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple5) -> (rule7 % int3)) triple7) -> (rule2 % int2)) ((triple5) -> (rule7 % int3))) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple9
((triple4) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple6) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple4 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
((((triple7 triple8) -> (rule8 % int2))) -> (rule3 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple5) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple7 triple8) -> (rule8 % int3)) triple7) -> (rule2 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple10
((triple11) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple13 triple14) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple16 triple13) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple11
((triple16 triple13) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((triple10) -> (rule6 % int2)) triple13) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((triple13 triple14) -> (rule8 % int3))) -> (rule6 % int2)) triple13) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
((triple10 triple13) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple11) -> (rule7 % int2)) triple13) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple13 triple14) -> (rule8 % int2)) triple13) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple16 triple13) -> (rule5 % int3))) -> (rule7 % int2)) triple13) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple12 triple10) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple12 ((triple11) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple10 triple13) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple10 triple13) -> (rule2 % int3)) ((triple11) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((triple12 ((((triple16 triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple11) -> (rule7 % int3)) triple13) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple10 triple13) -> (rule2 % int4)) ((((triple16 triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((((triple11) -> (rule7 % int3)) triple13) -> (rule2 % int2)) ((triple11) -> (rule7 % int3))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple11) -> (rule7 % int4)) triple13) -> (rule2 % int3)) ((((triple16 triple13) -> (rule5 % int2))) -> (rule7 % int4))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple16 triple13) -> (rule5 % int4))) -> (rule7 % int3)) triple13) -> (rule2 % int2)) triple10) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple16 triple13) -> (rule5 % int4))) -> (rule7 % int3)) triple13) -> (rule2 % int2)) ((triple11) -> (rule7 % int3))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple16 triple13) -> (rule5 % int4))) -> (rule7 % int3)) triple13) -> (rule2 % int2)) ((((triple16 triple13) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
((triple10) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple12) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple10 triple13) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple13 triple14) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple16 triple13) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple11) -> (rule7 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple13 triple14) -> (rule8 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple16 triple13) -> (rule5 % int4))) -> (rule7 % int3)) triple13) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple16
((triple10) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple13 triple14) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple4) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((triple7 triple8) -> (rule8 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2