Charlie is rough. Fiona is kind. Fiona is rough. All rough, kind things are cold. All rough, white things are kind. If something is rough then it is blue.
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All rough, kind things are cold.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All rough, white things are kind.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Charlie is rough.
True
1
proof
[(triple1)]
("Charlie" "is" "rough" "+")
triple1
Charlie is not rough.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "rough" "-")
triple1
Charlie is blue.
True
2
proof
[(((triple1) -> rule3))]
("Charlie" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "blue" "-")
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Charlie is rough.[(triple1)] Fiona is kind.[(triple2)] Fiona is rough.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule3))] Fiona is blue.[(((triple3) -> rule3))] Fiona is cold.[(((triple3 triple2) -> rule1))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1