Bob is white. Charlie is blue. Erin is round. All young, blue people are not round. White people are round. If someone is round and not blue then they are quiet. If someone is round then they are young. If someone is furry and white then they are young. If Erin is round then Erin is smart. If Erin is quiet then Erin is not young. If Bob is smart and Bob is not furry then Bob is round.
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Erin is round.
("Erin" "is" "round" "+")
All young, blue people are not round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "-"))
White people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not blue then they are quiet.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is furry and white then they are young.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If Erin is round then Erin is smart.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "smart" "+"))
If Erin is quiet then Erin is not young.
((("Erin" "is" "quiet" "+")) -> ("Erin" "is" "young" "-"))
If Bob is smart and Bob is not furry then Bob is round.
((("Bob" "is" "smart" "+") ("Bob" "is" "furry" "~")) -> ("Bob" "is" "round" "+"))
Bob is white.
True
1
proof
[(triple1)]
("Bob" "is" "white" "+")
triple1
Charlie is not blue.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "blue" "-")
triple2
Erin is young.
True
2
proof
[(((triple3) -> rule4))]
("Erin" "is" "young" "+")
((triple3) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple3) -> rule4))]
("Erin" "is" "young" "-")
((triple3) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is young.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("Bob" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is not young.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4))]
("Bob" "is" "young" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Charlie is not young.
Unknown
inv-rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is quiet.
Unknown
rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "+")
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "quiet" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Bob is white.[(triple1)] Charlie is blue.[(triple2)] Erin is round.[(triple3)] @1: Bob is round.[(((triple1) -> rule2))] Erin is smart.[(((triple3) -> rule6))] Erin is young.[(((triple3) -> rule4))] @2: Bob is young.[(((((triple1) -> rule2)) -> rule4))]
Bob is white.
("Bob" "is" "white" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
((triple1) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple3) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule4 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2