Anne is blue. Anne is cold. Anne is kind. Anne is quiet. Anne is not red. Anne is not white. Anne is not young. Charlie is young. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is not white. Kind people are cold. If Anne is blue then Anne is kind. If Charlie is kind then Charlie is not quiet.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is not white.
("Anne" "is" "white" "-")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Kind people are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If Anne is blue then Anne is kind.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "kind" "+"))
If Charlie is kind then Charlie is not quiet.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "quiet" "-"))
Fiona is blue.
True
1
proof
[(triple9)]
("Fiona" "is" "blue" "+")
triple9
Anne is not cold.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]
("Anne" "is" "cold" "-")
triple2
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Fiona is cold.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "cold" "-")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Anne is kind.[(triple3 OR ((triple1) -> rule2))] Anne is not red.[(triple5)] Anne is not white.[(triple6)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Charlie is young.[(triple8)] Fiona is blue.[(triple9)] Fiona is kind.[(triple10)] Fiona is not white.[(triple12)] Fiona is quiet.[(triple11)] @1: Fiona is cold.[(((triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not red.
("Anne" "is" "red" "-")
triple5
Anne is not white.
("Anne" "is" "white" "-")
triple6
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is not white.
("Fiona" "is" "white" "-")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple10) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1