Erin is cold. Erin is not green. Erin is not kind. Erin is not young. Harry is blue. Harry is rough. Harry is white. If something is kind and not cold then it is blue. Rough things are young. All kind things are green.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not young.
("Erin" "is" "young" "-")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is kind and not cold then it is blue.
((("something" "is" "kind" "+") ("something" "is" "cold" "~")) -> ("something" "is" "blue" "+"))
Rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Harry is white.
True
1
proof
[(triple7)]
("Harry" "is" "white" "+")
triple7
Erin is green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "+")
triple2
Harry is young.
True
2
proof
[(((triple6) -> rule2))]
("Harry" "is" "young" "+")
((triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is not young.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "young" "-")
((triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Erin is cold.[(triple1)] Erin is not green.[(triple2)] Erin is not kind.[(triple3)] Erin is not young.[(triple4)] Harry is blue.[(triple5)] Harry is rough.[(triple6)] Harry is white.[(triple7)] @1: Harry is young.[(((triple6) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is not green.
("Erin" "is" "green" "-")
triple2
Erin is not kind.
("Erin" "is" "kind" "-")
triple3
Erin is not young.
("Erin" "is" "young" "-")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
((triple6) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1