Bob is big. Bob is not young. Erin is rough. If someone is white and rough then they are blue. All big people are blue. Blue people are not white.
Bob is big.
("Bob" "is" "big" "+")
Bob is not young.
("Bob" "is" "young" "-")
Erin is rough.
("Erin" "is" "rough" "+")
If someone is white and rough then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
All big people are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Blue people are not white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "-"))
Bob is not young.
True
1
proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Bob is young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "+")
triple2
Bob is blue.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not white.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("Bob" "is" "white" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is white.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("Bob" "is" "white" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is big.[(triple1)] Bob is not young.[(triple2)] Erin is rough.[(triple3)] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is not white.[(((((triple1) -> rule2)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not white.
("Bob" "is" "white" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is not white.
("Bob" "is" "white" "-")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2