Charlie is cold. Charlie is green. Charlie is young. Fiona is nice. Fiona is young. Gary is furry. Gary is young. All cold, young people are kind. If Fiona is kind then Fiona is nice.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
All cold, young people are kind.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is kind then Fiona is nice.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "nice" "+"))
Charlie is young.
True
1
proof
[(triple3)]
("Charlie" "is" "young" "+")
triple3
Gary is not furry.
False
1
inv-proof
[(triple6)]
("Gary" "is" "furry" "-")
triple6
Charlie is kind.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "kind" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "kind" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "kind" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Fiona is nice.[(triple4)] Fiona is young.[(triple5)] Gary is furry.[(triple6)] Gary is young.[(triple7)] @1: Charlie is kind.[(((triple1 triple3) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1