Anne is round. Fiona is green. If someone is green and round then they are not blue. All green people are round. If Fiona is young and Fiona is not kind then Fiona is red.
Anne is round.
("Anne" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is green and round then they are not blue.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "-"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If Fiona is young and Fiona is not kind then Fiona is red.
((("Fiona" "is" "young" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "red" "+"))
Anne is round.
True
1
proof
[(triple1)]
("Anne" "is" "round" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is round.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "round" "+")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "round" "-")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not blue.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule1))]
("Fiona" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is round.[(triple1)] Fiona is green.[(triple2)] @1: Fiona is round.[(((triple2) -> rule2))] @2: Fiona is not blue.[(((triple2 ((triple2) -> rule2)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2