Anne is nice. Anne is young. Dave is not blue. Dave is green. Dave is nice. Dave is red. Dave is young. Erin is not nice. Erin is white. Erin is young. Harry is not blue. Harry is kind. Harry is nice. Harry is not white. Harry is young. If something is young and not red then it is kind. If Dave is green then Dave is not kind. All kind things are green. If something is blue and red then it is green. If something is green and not red then it is young. Red things are nice. If Dave is green and Dave is not white then Dave is young. If Harry is white then Harry is nice.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If something is young and not red then it is kind.
((("something" "is" "young" "+") ("something" "is" "red" "~")) -> ("something" "is" "kind" "+"))
If Dave is green then Dave is not kind.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "kind" "-"))
All kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is blue and red then it is green.
((("something" "is" "blue" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is green and not red then it is young.
((("something" "is" "green" "+") ("something" "is" "red" "~")) -> ("something" "is" "young" "+"))
Red things are nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
If Dave is green and Dave is not white then Dave is young.
((("Dave" "is" "green" "+") ("Dave" "is" "white" "~")) -> ("Dave" "is" "young" "+"))
If Harry is white then Harry is nice.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "nice" "+"))
Harry is nice.
True
1
proof
[(triple13)]
("Harry" "is" "nice" "+")
triple13
Erin is not young.
False
1
inv-proof
[(triple10)]
("Erin" "is" "young" "-")
triple10
Harry is green.
True
2
proof
[(((triple12) -> rule3))]
("Harry" "is" "green" "+")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple12) -> rule3))]
("Harry" "is" "green" "-")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple6) -> rule6))] Dave is not blue.[(triple3)] Dave is red.[(triple6)] Dave is young.[(triple7)] Erin is not nice.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is not blue.[(triple11)] Harry is not white.[(triple14)] Harry is young.[(triple15)] @1: Dave is not kind.[(((triple4) -> rule2))] Harry is green.[(((triple12) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
((triple6) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is not nice.
("Erin" "is" "nice" "-")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple11
Harry is not white.
("Harry" "is" "white" "-")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Dave is not kind.
("Dave" "is" "kind" "-")
((triple4) -> (rule2 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple12) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1