Charlie is kind. Erin is green. Harry is not young. If someone is nice and not young then they are quiet. All kind people are cold. If Erin is kind then Erin is nice.
Charlie is kind.
("Charlie" "is" "kind" "+")
Erin is green.
("Erin" "is" "green" "+")
Harry is not young.
("Harry" "is" "young" "-")
If someone is nice and not young then they are quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "quiet" "+"))
All kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If Erin is kind then Erin is nice.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "nice" "+"))
Erin is green.
True
1
proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Harry is young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "+")
triple3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is kind.[(triple1)] Erin is green.[(triple2)] Harry is not young.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Harry is not young.
("Harry" "is" "young" "-")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1