Anne is furry. Anne is young. Bob is big. Dave is not big. Dave is white. Dave is young. Erin is not furry. All big things are young. All young things are white. All young things are white. All young, furry things are quiet. If something is smart and not young then it is furry. All white things are furry. If something is big and not young then it is furry. If something is big and not quiet then it is green. If something is young and quiet then it is not green.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
All big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
All young, furry things are quiet.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "quiet" "+"))
If something is smart and not young then it is furry.
((("something" "is" "smart" "+") ("something" "is" "young" "~")) -> ("something" "is" "furry" "+"))
All white things are furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
If something is big and not young then it is furry.
((("something" "is" "big" "+") ("something" "is" "young" "~")) -> ("something" "is" "furry" "+"))
If something is big and not quiet then it is green.
((("something" "is" "big" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "+"))
If something is young and quiet then it is not green.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "-"))
Anne is furry.
True
1
proof
[(triple1 OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))]
("Anne" "is" "furry" "+")
triple1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Dave is not white.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule3))]
("Dave" "is" "white" "-")
triple5
((triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Anne is white.
True
2
proof
[(((triple2) -> rule2) OR ((triple2) -> rule3))]
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "young" "-")
((triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
True
3
proof
[(((((triple3) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule3))]
("Bob" "is" "white" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Anne is green.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule4)) -> rule9) OR ((triple2 ((triple2 ((((triple2) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((triple2 ((triple2 ((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule9))]
("Anne" "is" "green" "+")
((triple2 ((triple2 triple1) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((triple2 ((triple2 ((((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple2 ((triple2 ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Bob is furry.
True
4
proof
[(((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule3)) -> rule6))]
("Bob" "is" "furry" "+")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not furry.
False
4
inv-proof
[(((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule3)) -> rule6))]
("Bob" "is" "furry" "-")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is quiet.
True
7
proof
[(((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4))]
("Bob" "is" "quiet" "+")
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not quiet.
False
7
inv-proof
[(((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4))]
("Bob" "is" "quiet" "-")
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not green.
True
10
proof
[(((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4)) -> rule9))]
("Bob" "is" "green" "-")
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Bob is green.
False
10
inv-proof
[(((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4)) -> rule9))]
("Bob" "is" "green" "+")
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is green.
Unknown
rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "green" "+")
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is white.
Unknown
rconc
[@2: Erin is white.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Erin" "is" "white" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Dave is not smart.
Unknown
inv-random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is furry.[(triple1 OR ((((triple2) -> rule2)) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Anne is young.[(triple2)] Bob is big.[(triple3)] Dave is not big.[(triple4)] Dave is white.[(triple5 OR ((triple6) -> rule2) OR ((triple6) -> rule3))] Dave is young.[(triple6)] Erin is not furry.[(triple7)] @1: Anne is quiet.[(((triple2 triple1) -> rule4) OR ((triple2 ((((triple2) -> rule2)) -> rule6)) -> rule4) OR ((triple2 ((((triple2) -> rule3)) -> rule6)) -> rule4))] Anne is white.[(((triple2) -> rule2) OR ((triple2) -> rule3))] Bob is young.[(((triple3) -> rule1))] Dave is furry.[(((triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((triple6) -> rule3)) -> rule6))] @2: Anne is not green.[(((triple2 ((triple2 triple1) -> rule4)) -> rule9) OR ((triple2 ((triple2 ((((triple2) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((triple2 ((triple2 ((((triple2) -> rule3)) -> rule6)) -> rule4)) -> rule9))] Bob is white.[(((((triple3) -> rule1)) -> rule2) OR ((((triple3) -> rule1)) -> rule3))] Dave is quiet.[(((triple6 ((triple5) -> rule6)) -> rule4) OR ((triple6 ((((triple6) -> rule2)) -> rule6)) -> rule4) OR ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule4))] @3: Bob is furry.[(((((((triple3) -> rule1)) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule3)) -> rule6))] Dave is not green.[(((triple6 ((triple6 ((triple5) -> rule6)) -> rule4)) -> rule9) OR ((triple6 ((triple6 ((((triple6) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((triple6 ((triple6 ((((triple6) -> rule3)) -> rule6)) -> rule4)) -> rule9))] @4: Bob is quiet.[(((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4))] @5: Bob is not green.[(((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule4)) -> rule9) OR ((((triple3) -> rule1) ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule3)) -> rule6)) -> rule4)) -> rule9))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((((triple2) -> (rule2 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Dave is not big.
("Dave" "is" "big" "-")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
((triple6) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple6
Erin is not furry.
("Erin" "is" "furry" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 triple1) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple2 ((((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple2) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple5) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Anne is not green.
("Anne" "is" "green" "-")
((triple2 ((triple2 triple1) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((triple2 ((triple2 ((((triple2) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((triple2 ((triple2 ((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple6 ((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((triple6 ((((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((triple6 ((((triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Dave is not green.
("Dave" "is" "green" "-")
((triple6 ((triple6 ((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((triple6 ((triple6 ((((triple6) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((triple6 ((triple6 ((((triple6) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Dave is not green.
("Dave" "is" "green" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple3) -> (rule1 % int4)) ((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is not green.
("Bob" "is" "green" "-")
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5
((((triple3) -> (rule1 % int5)) ((((triple3) -> (rule1 % int5)) ((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
int5