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