Anne is round. Fiona is green. Fiona is not rough. Furry people are quiet. Furry, round people are quiet. If someone is round then they are red.
Anne is round.
("Anne" "is" "round" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Furry, round people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Fiona is not rough.
True
1
proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Anne is red.
True
2
proof
[(((triple1) -> rule3))]
("Anne" "is" "red" "+")
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "red" "-")
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is round.[(triple1)] Fiona is green.[(triple2)] Fiona is not rough.[(triple3)] @1: Anne is red.[(((triple1) -> rule3))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple3
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1