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