Anne is blue. Anne is not furry. Anne is green. Anne is smart. Anne is young. Fiona is blue. Fiona is white. Gary is blue. Gary is furry. Harry is young. If someone is smart and not white then they are not green. If someone is blue then they are smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart and not white then they are not green.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "-"))
If someone is blue then they are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Anne is young.
True
1
proof
[(triple5)]
("Anne" "is" "young" "+")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "blue" "-")
triple6
Gary is smart.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "smart" "-")
((triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is smart.[(triple4 OR ((triple1) -> rule2))] Anne is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Harry is young.[(triple10)] @1: Fiona is smart.[(((triple6) -> rule2))] Gary is smart.[(((triple8) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple4
((triple1) -> (rule2 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple6) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple8) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1