Anne is furry. Anne is green. Anne is kind. Anne is nice. Charlie is cold. Charlie is green. Charlie is rough. Fiona is cold. Fiona is furry. Fiona is green. All nice, furry people are white.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
All nice, furry people are white.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
Anne is nice.
True
1
proof
[(triple4)]
("Anne" "is" "nice" "+")
triple4
Anne is not green.
False
1
inv-proof
[(triple2)]
("Anne" "is" "green" "-")
triple2
Anne is white.
True
3
proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "white" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Anne" "is" "white" "-")
((triple4 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple6)] Charlie is rough.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] @1: Anne is white.[(((triple4 triple1) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple4 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1