Anne is furry. Anne is rough. Charlie is blue. Fiona is blue. Fiona is cold. Fiona is red. Fiona is round. If something is nice and cold then it is blue. If Fiona is nice and Fiona is blue then Fiona is rough. If something is round then it is rough.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is nice and cold then it is blue.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If Fiona is nice and Fiona is blue then Fiona is rough.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "rough" "+"))
If something is round then it is rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Fiona is not red.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "red" "-")
triple6
Fiona is rough.
True
2
proof
[(((triple7) -> rule3))]
("Fiona" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple7) -> rule3))]
("Fiona" "is" "rough" "-")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "blue" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Charlie is blue.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is red.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is rough.[(((triple7) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1