Anne is young. Bob is white. Fiona is blue. If someone is round and not nice then they are young. Quiet people are young. If someone is white then they are round. If Anne is white and Anne is young then Anne is round. If someone is red then they are white. If someone is nice then they are blue. If someone is white and quiet then they are blue. If someone is quiet and not round then they are not blue.
Anne is young.
("Anne" "is" "young" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
If someone is round and not nice then they are young.
((("someone" "is" "round" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Anne is white and Anne is young then Anne is round.
((("Anne" "is" "white" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "round" "+"))
If someone is red then they are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
If someone is nice then they are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is white and quiet then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If someone is quiet and not round then they are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "blue" "-"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Fiona is not blue.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "blue" "-")
triple3
Bob is round.
True
2
proof
[(((triple2) -> rule3))]
("Bob" "is" "round" "+")
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Bob" "is" "round" "-")
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "white" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "white" "+")
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is young.[(triple1)] Bob is white.[(triple2)] Fiona is blue.[(triple3)] @1: Bob is round.[(((triple2) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1