Bob is furry. Bob is green. Bob is smart. Dave is big. Dave is furry. Dave is rough. Dave is smart. Dave is white. Fiona is kind. Fiona is white. If Bob is green and Bob is kind then Bob is big. Big people are kind. All green, furry people are big.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Bob is green and Bob is kind then Bob is big.
((("Bob" "is" "green" "+") ("Bob" "is" "kind" "+")) -> ("Bob" "is" "big" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All green, furry people are big.
((("someone" "is" "green" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple4)]
("Dave" "is" "big" "+")
triple4
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Bob is big.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Bob" "is" "big" "-")
((triple2 triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
True
4
proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("Bob" "is" "kind" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not kind.
False
4
inv-proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("Bob" "is" "kind" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is furry.[(triple5)] Dave is rough.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is white.[(triple10)] @1: Bob is big.[(((triple2 triple1) -> rule3))] Dave is kind.[(((triple4) -> rule2))] @2: Bob is kind.[(((((triple2 triple1) -> rule3)) -> rule2))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple4) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2