Bob is furry. Bob is green. Bob is round. Charlie is blue. Charlie is not red. Charlie is not round. Fiona is round. If someone is green and not cold then they are not red. Cold people are red. If Bob is cold and Bob is red then Bob is blue. If someone is red then they are furry. Red, green people are furry. If someone is quiet and red then they are blue. All quiet, furry people are round. If Fiona is green and Fiona is not round then Fiona is not blue.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not red.
("Charlie" "is" "red" "-")
Charlie is not round.
("Charlie" "is" "round" "-")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is green and not cold then they are not red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "red" "-"))
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Bob is cold and Bob is red then Bob is blue.
((("Bob" "is" "cold" "+") ("Bob" "is" "red" "+")) -> ("Bob" "is" "blue" "+"))
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Red, green people are furry.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet and red then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All quiet, furry people are round.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
If Fiona is green and Fiona is not round then Fiona is not blue.
((("Fiona" "is" "green" "+") ("Fiona" "is" "round" "~")) -> ("Fiona" "is" "blue" "-"))
Fiona is round.
True
1
proof
[(triple7)]
("Fiona" "is" "round" "+")
triple7
Bob is not round.
False
1
inv-proof
[(triple3)]
("Bob" "is" "round" "-")
triple3
Fiona is not furry.
Unknown
inv-rconc
[@2: Fiona is furry.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is not red.[(triple5)] Charlie is not round.[(triple6)] Fiona is round.[(triple7)]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is not red.
("Charlie" "is" "red" "-")
triple5
Charlie is not round.
("Charlie" "is" "round" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7