Anne is cold. Anne is young. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not red. Charlie is white. Charlie is young. Dave is blue. Dave is white. Dave is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is red. If something is white then it is not furry. Red, white things are blue.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is white then it is not furry.
((("something" "is" "white" "+")) -> ("something" "is" "furry" "-"))
Red, white things are blue.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Dave is white.
True
1
proof
[(triple10)]
("Dave" "is" "white" "+")
triple10
Charlie is red.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "red" "+")
triple6
Anne is not blue.
Unknown
inv-rconc
[@1: Anne is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "blue" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not red.[(triple6)] Charlie is white.[(triple7)] Charlie is young.[(triple8)] Dave is blue.[(triple9)] Dave is white.[(triple10)] Dave is young.[(triple11)] Fiona is blue.[(triple12)] Fiona is furry.[(triple13)] Fiona is kind.[(triple14)] Fiona is red.[(triple15)] @1: Charlie is not furry.[(((triple7) -> rule1))] Dave is not furry.[(((triple10) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is not red.
("Charlie" "is" "red" "-")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple11
Fiona is blue.
("Fiona" "is" "blue" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is kind.
("Fiona" "is" "kind" "+")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Charlie is not furry.
("Charlie" "is" "furry" "-")
((triple7) -> (rule1 % int1))
Charlie is not furry.
("Charlie" "is" "furry" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
((triple10) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1