Bob is furry. Bob is round. Bob is smart. Dave is big. Dave is blue. Dave is quiet. Dave is round. Erin is big. Erin is blue. Erin is furry. Erin is round. Erin is smart. If something is big then it is blue. All blue, white things are furry. Round things are white.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
If something is big then it is blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All blue, white things are furry.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Erin is big.
True
1
proof
[(triple8)]
("Erin" "is" "big" "+")
triple8
Dave is not big.
False
1
inv-proof
[(triple4)]
("Dave" "is" "big" "-")
triple4
Bob is white.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "white" "+")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is not white.
False
2
inv-proof
[(((triple7) -> rule3))]
("Dave" "is" "white" "-")
((triple7) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is furry.
True
4
proof
[(((triple5 ((triple7) -> rule3)) -> rule2) OR ((((triple4) -> rule1) ((triple7) -> rule3)) -> rule2))]
("Dave" "is" "furry" "+")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not furry.
False
4
inv-proof
[(((triple5 ((triple7) -> rule3)) -> rule2) OR ((((triple4) -> rule1) ((triple7) -> rule3)) -> rule2))]
("Dave" "is" "furry" "-")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5 OR ((triple4) -> rule1))] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple8) -> rule1))] Erin is furry.[(triple10 OR ((triple9 ((triple11) -> rule3)) -> rule2) OR ((((triple8) -> rule1) ((triple11) -> rule3)) -> rule2))] Erin is round.[(triple11)] Erin is smart.[(triple12)] @1: Bob is white.[(((triple2) -> rule3))] Dave is white.[(((triple7) -> rule3))] Erin is white.[(((triple11) -> rule3))] @2: Dave is furry.[(((triple5 ((triple7) -> rule3)) -> rule2) OR ((((triple4) -> rule1) ((triple7) -> rule3)) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
((triple4) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple8) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple10
((triple9 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple7) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple5 ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((triple4) -> (rule1 % int3)) ((triple7) -> (rule3 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3