Anne is not blue. Anne is not green. Charlie is cold. Charlie is green. Charlie is rough. Charlie is white. Dave is not blue. Dave is cold. Dave is furry. Dave is not red. Fiona is blue. Fiona is cold. Cold things are furry. If Dave is white and Dave is blue then Dave is not furry. If something is rough and not green then it is blue.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not green.
("Anne" "is" "green" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not red.
("Dave" "is" "red" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Dave is white and Dave is blue then Dave is not furry.
((("Dave" "is" "white" "+") ("Dave" "is" "blue" "+")) -> ("Dave" "is" "furry" "-"))
If something is rough and not green then it is blue.
((("something" "is" "rough" "+") ("something" "is" "green" "~")) -> ("something" "is" "blue" "+"))
Dave is furry.
True
1
proof
[(triple9 OR ((triple8) -> rule1))]
("Dave" "is" "furry" "+")
triple9
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Anne is green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is furry.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is not furry.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "furry" "-")
((triple3) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "furry" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Charlie is cold.[(triple3)] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Dave is cold.[(triple8)] Dave is furry.[(triple9 OR ((triple8) -> rule1))] Dave is not blue.[(triple7)] Dave is not red.[(triple10)] Fiona is blue.[(triple11)] Fiona is cold.[(triple12)] @1: Charlie is furry.[(((triple3) -> rule1))] Fiona is furry.[(((triple12) -> rule1))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
((triple8) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
triple7
Dave is not red.
("Dave" "is" "red" "-")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
triple11
Fiona is cold.
("Fiona" "is" "cold" "+")
triple12
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple3) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1