Anne is quiet. Anne is white. Anne is young. Charlie is blue. Charlie is kind. Charlie is quiet. Charlie is young. Gary is blue. Gary is kind. Gary is nice. Gary is quiet. Gary is young. All kind things are red. Kind things are red.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
All kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Charlie is not quiet.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "quiet" "-")
triple6
Charlie is red.
True
2
proof
[(((triple5) -> rule1) OR ((triple5) -> rule2))]
("Charlie" "is" "red" "+")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple5) -> rule1) OR ((triple5) -> rule2))]
("Charlie" "is" "red" "-")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6)] Charlie is young.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Charlie is red.[(((triple5) -> rule1) OR ((triple5) -> rule2))] Gary is red.[(((triple9) -> rule1) OR ((triple9) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is red.
("Charlie" "is" "red" "+")
((triple5) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((triple5) -> (rule2 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple9) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1