Bob is blue. Bob is round. Fiona is not young. If Bob is blue then Bob is not smart. All round, kind things are white. If Bob is not smart then Bob is white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Bob is blue then Bob is not smart.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "smart" "-"))
All round, kind things are white.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If Bob is not smart then Bob is white.
((("Bob" "is" "smart" "~")) -> ("Bob" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not blue.
False
1
inv-proof
[(triple1)]
("Bob" "is" "blue" "-")
triple1
Bob is not smart.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is smart.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "smart" "+")
((triple1) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is white.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "white" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2
Bob is not white.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Bob" "is" "white" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "white" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Bob is round.[(triple2)] Fiona is not young.[(triple3)] @1: Bob is not smart.[(((triple1) -> rule1))] @2: Bob is white.[(((((triple1) -> rule1)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is not young.
("Fiona" "is" "young" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
((triple1) -> (rule1 % int1))
Bob is not smart.
("Bob" "is" "smart" "-")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is not smart.
("Bob" "is" "smart" "-")
int2