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