Anne is blue. Anne is cold. Anne is kind. Anne is smart. Fiona is not green. Fiona is not kind. Fiona is smart. Fiona is young. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is smart. Gary is young. If something is smart and not green then it is not kind.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is smart and not green then it is not kind.
((("something" "is" "smart" "+") ("something" "is" "green" "~")) -> ("something" "is" "kind" "-"))
Fiona is not kind.
True
1
proof
[(triple6 OR ((triple7 triple5) -> rule1))]
("Fiona" "is" "kind" "-")
triple6
((triple7 triple5) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is green.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "green" "+")
triple5
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is smart.[(triple4)] Fiona is not green.[(triple5)] Fiona is not kind.[(triple6 OR ((triple7 triple5) -> rule1))] Fiona is smart.[(triple7)] Fiona is young.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Fiona is not green.
("Fiona" "is" "green" "-")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple6
((triple7 triple5) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15