Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is white. Charlie is white. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is rough. Dave is white. Erin is kind. Erin is red. Erin is rough. Kind people are green. If Dave is quiet then Dave is white. All cold, quiet people are rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If Dave is quiet then Dave is white.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "white" "+"))
All cold, quiet people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
Charlie is white.
True
1
proof
[(triple7)]
("Charlie" "is" "white" "+")
triple7
Anne is not white.
False
1
inv-proof
[(triple6)]
("Anne" "is" "white" "-")
triple6
Erin is green.
True
2
proof
[(((triple14) -> rule1))]
("Erin" "is" "green" "+")
((triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("Anne" "is" "rough" "-")
((triple1 triple4) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple3) -> rule1))] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is red.[(triple5)] Anne is white.[(triple6)] Charlie is white.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is rough.[(triple12 OR ((triple8 triple10) -> rule3))] Dave is white.[(triple13 OR ((triple10) -> rule2))] Erin is kind.[(triple14)] Erin is red.[(triple15)] Erin is rough.[(triple16)] @1: Anne is rough.[(((triple1 triple4) -> rule3))] Dave is green.[(((triple9) -> rule1))] Erin is green.[(((triple14) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple12
((triple8 triple10) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
triple13
((triple10) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is red.
("Erin" "is" "red" "+")
triple15
Erin is rough.
("Erin" "is" "rough" "+")
triple16
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 triple4) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple9) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple14) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1