Anne is not blue. Anne is furry. Anne is not green. Anne is nice. Bob is not smart. Fiona is furry. Fiona is green. Fiona is not round. Gary is blue. Gary is not green. If something is nice and big then it is green. If something is round and not big then it is not green. Nice things are not round. If Fiona is not nice then Fiona is green. Green things are smart. If something is nice and not smart then it is blue.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not green.
("Gary" "is" "green" "-")
If something is nice and big then it is green.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is round and not big then it is not green.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "is" "green" "-"))
Nice things are not round.
((("something" "is" "nice" "+")) -> ("something" "is" "round" "-"))
If Fiona is not nice then Fiona is green.
((("Fiona" "is" "nice" "~")) -> ("Fiona" "is" "green" "+"))
Green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If something is nice and not smart then it is blue.
((("something" "is" "nice" "+") ("something" "is" "smart" "~")) -> ("something" "is" "blue" "+"))
Anne is not green.
True
1
proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
Anne is not furry.
False
1
inv-proof
[(triple2)]
("Anne" "is" "furry" "-")
triple2
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "blue" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Anne is furry.[(triple2)] Anne is nice.[(triple4)] Anne is not blue.[(triple1)] Anne is not green.[(triple3)] Bob is not smart.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is not round.[(triple8)] Gary is blue.[(triple9)] Gary is not green.[(triple10)] @1: Anne is not round.[(((triple4) -> rule3))] Fiona is smart.[(((triple7) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is not green.
("Gary" "is" "green" "-")
triple10
Anne is not round.
("Anne" "is" "round" "-")
((triple4) -> (rule3 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1