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