Anne is white. Fiona is nice. Gary is round. All white, rough things are not round. If Anne is white then Anne is not big. If Anne is nice then Anne is big. Round things are white. All blue things are white. White things are not blue.
Anne is white.
("Anne" "is" "white" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
All white, rough things are not round.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
If Anne is white then Anne is not big.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "-"))
If Anne is nice then Anne is big.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "big" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
White things are not blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "-"))
Gary is round.
True
1
proof
[(triple3)]
("Gary" "is" "round" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Anne is not blue.
True
2
proof
[(((triple1) -> rule6))]
("Anne" "is" "blue" "-")
((triple1) -> (rule6 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Gary is not white.
False
2
inv-proof
[(((triple3) -> rule4))]
("Gary" "is" "white" "-")
((triple3) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not blue.
True
3
proof
[(((((triple3) -> rule4)) -> rule6))]
("Gary" "is" "blue" "-")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is blue.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule6))]
("Gary" "is" "blue" "+")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is white.[(triple1)] Fiona is nice.[(triple2)] Gary is round.[(triple3)] @1: Anne is not big.[(((triple1) -> rule2))] Anne is not blue.[(((triple1) -> rule6))] Gary is white.[(((triple3) -> rule4))] @2: Gary is not blue.[(((((triple3) -> rule4)) -> rule6))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Anne is not big.
("Anne" "is" "big" "-")
((triple1) -> (rule2 % int1))
Anne is not big.
("Anne" "is" "big" "-")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
((triple1) -> (rule6 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple3) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not blue.
("Gary" "is" "blue" "-")
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Gary is not blue.
("Gary" "is" "blue" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2