Anne is young. Fiona is red. Harry is round. If something is quiet then it is red. If something is young then it is round.
Anne is young.
("Anne" "is" "young" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
If something is quiet then it is red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Anne is round.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "round" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is young.[(triple1)] Fiona is red.[(triple2)] Harry is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1