Bob is not blue. Bob is not cold. Bob is furry. Bob is round. Bob is not white. Fiona is cold. Fiona is not furry. Fiona is round. Fiona is white. Fiona is not young. Quiet things are round. Blue things are white. If Bob is white and Bob is round then Bob is quiet. If Fiona is furry then Fiona is quiet. If something is young and not round then it is not cold. If something is round and not white then it is young. Blue, furry things are young. If something is white and not blue then it is not young.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Quiet things are round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
If Bob is white and Bob is round then Bob is quiet.
((("Bob" "is" "white" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "quiet" "+"))
If Fiona is furry then Fiona is quiet.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is young and not round then it is not cold.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "cold" "-"))
If something is round and not white then it is young.
((("something" "is" "round" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
Blue, furry things are young.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
If something is white and not blue then it is not young.
((("something" "is" "white" "+") ("something" "is" "blue" "~")) -> ("something" "is" "young" "-"))
Fiona is not young.
True
1
proof
[(triple10)]
("Fiona" "is" "young" "-")
triple10
Bob is cold.
False
1
inv-proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Bob is young.
True
3
proof
[(((triple4 triple5) -> rule6))]
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple4 triple5) -> rule6))]
("Bob" "is" "young" "-")
((triple4 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Bob is furry.[(triple3)] Bob is not blue.[(triple1)] Bob is not cold.[(triple2)] Bob is not white.[(triple5)] Bob is round.[(triple4)] Fiona is cold.[(triple6)] Fiona is not furry.[(triple7)] Fiona is not young.[(triple10)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] @1: Bob is young.[(((triple4 triple5) -> rule6))]
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not white.
("Bob" "is" "white" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple7
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1