Anne is blue. Anne is cold. Anne is red. Erin is not furry. Erin is young. Fiona is not cold. Fiona is kind. Gary is furry. Gary is kind. Gary is young. All kind things are blue. Round things are blue. If something is round and not young then it is blue. If something is red then it is blue. If something is round and young then it is not furry. If Anne is round and Anne is not cold then Anne is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind things are blue.
((("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is round and not young then it is blue.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "blue" "+"))
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is round and young then it is not furry.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "-"))
If Anne is round and Anne is not cold then Anne is blue.
((("Anne" "is" "round" "+") ("Anne" "is" "cold" "~")) -> ("Anne" "is" "blue" "+"))
Gary is furry.
True
1
proof
[(triple8)]
("Gary" "is" "furry" "+")
triple8
Erin is furry.
False
1
inv-proof
[(triple4)]
("Erin" "is" "furry" "+")
triple4
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "blue" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is blue.[(triple1 OR ((triple3) -> rule4))] Anne is cold.[(triple2)] Anne is red.[(triple3)] Erin is not furry.[(triple4)] Erin is young.[(triple5)] Fiona is kind.[(triple7)] Fiona is not cold.[(triple6)] Gary is furry.[(triple8)] Gary is kind.[(triple9)] Gary is young.[(triple10)] @1: Fiona is blue.[(((triple7) -> rule1))] Gary is blue.[(((triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple3) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Erin is not furry.
("Erin" "is" "furry" "-")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple6
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple9) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1