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