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