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