Bob is not round. Fiona is cold. Gary is not cold. All white people are round. White, nice people are round. All cold people are rough.
Bob is not round.
("Bob" "is" "round" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
All white people are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
White, nice people are round.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
All cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Gary is cold.
False
1
inv-proof
[(triple3)]
("Gary" "is" "cold" "+")
triple3
Fiona is rough.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "-")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "-")
Fiona is round.
Unknown
rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Bob is not round.[(triple1)] Fiona is cold.[(triple2)] Gary is not cold.[(triple3)] @1: Fiona is rough.[(((triple2) -> rule3))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Gary is not cold.
("Gary" "is" "cold" "-")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1