Anne is not blue. Anne is furry. Anne is kind. Anne is red. Anne is not young. Bob is not cold. Bob is furry. Bob is round. Bob is young. Charlie is blue. Fiona is cold. Fiona is furry. If someone is cold then they are kind. If Anne is round and Anne is young then Anne is kind. If Fiona is cold and Fiona is young then Fiona is round. Round, red people are furry. If Bob is kind and Bob is round then Bob is cold. If Charlie is not furry and Charlie is not blue then Charlie is kind.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
If someone is cold then they are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Anne is round and Anne is young then Anne is kind.
((("Anne" "is" "round" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "kind" "+"))
If Fiona is cold and Fiona is young then Fiona is round.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
Round, red people are furry.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Bob is kind and Bob is round then Bob is cold.
((("Bob" "is" "kind" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "cold" "+"))
If Charlie is not furry and Charlie is not blue then Charlie is kind.
((("Charlie" "is" "furry" "~") ("Charlie" "is" "blue" "~")) -> ("Charlie" "is" "kind" "+"))
Anne is not blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Bob is not furry.
False
1
inv-proof
[(triple7)]
("Bob" "is" "furry" "-")
triple7
Fiona is kind.
True
2
proof
[(((triple11) -> rule1))]
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple11) -> rule1))]
("Fiona" "is" "kind" "-")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Charlie is not furry.
Unknown
inv-rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "furry" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is not blue.[(triple1)] Anne is not young.[(triple5)] Anne is red.[(triple4)] Bob is furry.[(triple7)] Bob is not cold.[(triple6)] Bob is round.[(triple8)] Bob is young.[(triple9)] Charlie is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] @1: Fiona is kind.[(((triple11) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is furry.
("Bob" "is" "furry" "+")
triple7
Bob is not cold.
("Bob" "is" "cold" "-")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is young.
("Bob" "is" "young" "+")
triple9
Charlie is blue.
("Charlie" "is" "blue" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1