Charlie is cold. Charlie is not green. Charlie is nice. Charlie is rough. Charlie is round. Charlie is not white. Fiona is cold. Fiona is green. Gary is green. Gary is not rough. Nice, kind people are not white. All cold people are kind.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Nice, kind people are not white.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "-"))
All cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Charlie is cold.
True
1
proof
[(triple1)]
("Charlie" "is" "cold" "+")
triple1
Fiona is not green.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "green" "-")
triple8
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is not white.[(triple6 OR ((triple3 ((triple1) -> rule2)) -> rule1))] Charlie is rough.[(triple4)] Charlie is round.[(triple5)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Gary is green.[(triple9)] Gary is not rough.[(triple10)] @1: Charlie is kind.[(((triple1) -> rule2))] Fiona is kind.[(((triple7) -> rule2))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
((triple3 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is not white.
("Charlie" "is" "white" "-")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not rough.
("Gary" "is" "rough" "-")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1