Bob is nice. Bob is smart. Bob is young. Dave is blue. Dave is furry. Dave is green. Dave is red. Dave is smart. Dave is young. Erin is young. All young, blue people are nice. If someone is nice then they are red. Red, green people are furry. Nice people are green. If Dave is young and Dave is smart then Dave is blue. If someone is red then they are green. If someone is smart and green then they are nice. Smart, furry people are blue.
Bob is nice.
("Bob" "is" "nice" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is young.
("Erin" "is" "young" "+")
All young, blue people are nice.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Red, green people are furry.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Nice people are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If Dave is young and Dave is smart then Dave is blue.
((("Dave" "is" "young" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "blue" "+"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is smart and green then they are nice.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Smart, furry people are blue.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Bob is nice.
True
1
proof
[(triple1)]
("Bob" "is" "nice" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple2)]
("Bob" "is" "smart" "-")
triple2
Erin is not green.
Unknown
inv-rconc
[@4: Erin is green.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule1 <- rule8 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Dave is blue.[(triple4 OR ((triple8 triple5) -> rule8) OR ((triple9 triple8) -> rule5) OR ((triple8 ((triple7 triple6) -> rule3)) -> rule8) OR ((triple8 ((triple7 ((triple7) -> rule6)) -> rule3)) -> rule8) OR ((triple8 ((((((triple8 triple6) -> rule7)) -> rule2) triple6) -> rule3)) -> rule8) OR ((triple8 ((((((triple8 triple6) -> rule7)) -> rule2) ((triple7) -> rule6)) -> rule3)) -> rule8))] Dave is furry.[(triple5 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple7) -> rule6)) -> rule3) OR ((triple7 ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) triple6) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) triple6) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((triple7 ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((triple7 ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) triple6) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((triple7) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((triple9 triple4) -> rule1)) -> rule4)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4)) -> rule3) OR ((triple7 ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple8 triple6) -> rule7)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 triple4) -> rule1)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2) ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6)) -> rule3))] Dave is green.[(triple6 OR ((triple7) -> rule6) OR ((((triple9 triple4) -> rule1)) -> rule4) OR ((((((triple9 triple4) -> rule1)) -> rule2)) -> rule6) OR ((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule4) OR ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule4) OR ((((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2)) -> rule6))] Dave is red.[(triple7 OR ((((triple8 triple6) -> rule7)) -> rule2) OR ((((triple9 triple4) -> rule1)) -> rule2) OR ((((triple9 ((triple8 triple5) -> rule8)) -> rule1)) -> rule2) OR ((((triple9 ((triple9 triple8) -> rule5)) -> rule1)) -> rule2))] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is young.[(triple10)] @1: Bob is green.[(((triple1) -> rule4) OR ((((triple1) -> rule2)) -> rule6))] Bob is red.[(((triple1) -> rule2))] Dave is nice.[(((triple8 triple6) -> rule7) OR ((triple9 triple4) -> rule1) OR ((triple8 ((triple7) -> rule6)) -> rule7) OR ((triple9 ((triple8 triple5) -> rule8)) -> rule1) OR ((triple9 ((triple9 triple8) -> rule5)) -> rule1) OR ((triple9 ((triple8 ((triple7 triple6) -> rule3)) -> rule8)) -> rule1) OR ((triple9 ((triple8 ((triple7 ((triple7) -> rule6)) -> rule3)) -> rule8)) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule3))] @3: Bob is blue.[(((triple2 ((((triple1) -> rule2) ((triple1) -> rule4)) -> rule3)) -> rule8) OR ((triple2 ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule6)) -> rule3)) -> rule8))]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple8 triple5) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple9 triple8) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple8 ((triple7 triple6) -> (rule3 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple8 ((triple7 ((triple7) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple8 ((((((triple8 triple6) -> (rule7 % int4))) -> (rule2 % int3)) triple6) -> (rule3 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple8 ((((((triple8 triple6) -> (rule7 % int5))) -> (rule2 % int4)) ((triple7) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((triple7 triple6) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple7 ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple7 ((((triple9 triple4) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple8 triple6) -> (rule7 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple9 triple4) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((((triple8 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple8 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple9 triple4) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple9 triple4) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple7 ((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((triple7 ((((triple9 ((triple9 triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) triple6) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple8 triple6) -> (rule7 % int4))) -> (rule2 % int3)) ((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple8 triple6) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
((((((triple9 triple4) -> (rule1 % int5))) -> (rule2 % int4)) ((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple9 triple4) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple9 triple4) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((triple7 ((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((triple8 triple6) -> (rule7 % int5))) -> (rule2 % int4)) ((((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple9 triple4) -> (rule1 % int5))) -> (rule2 % int4)) ((((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is nice.
("Dave" "is" "nice" "+")
int5
((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((((triple9 ((triple9 triple8) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is green.
("Dave" "is" "green" "+")
triple6
((triple7) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((((triple9 triple4) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((((triple9 triple4) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple9 ((triple8 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple9 ((triple8 triple5) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((triple9 ((triple9 triple8) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
triple7
((((triple8 triple6) -> (rule7 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple9 triple4) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
((((triple9 ((triple8 triple5) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple9 ((triple9 triple8) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule4 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 triple6) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple9 triple4) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple8 ((triple7) -> (rule6 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((triple9 ((triple8 triple5) -> (rule8 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple9 ((triple9 triple8) -> (rule5 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((triple9 ((triple8 ((triple7 triple6) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple9 ((triple8 ((triple7 ((triple7) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule2 % int3)) ((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
((triple2 ((((triple1) -> (rule2 % int4)) ((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
((triple2 ((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4