Anne is big. Anne is kind. Anne is quiet. Anne is not rough. Anne is not white. Bob is kind. Bob is quiet. Bob is rough. Bob is white. Bob is young. Erin is big. Erin is blue. Erin is not kind. Erin is quiet. Erin is rough. Erin is white. If something is big and not white then it is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is not white.
("Anne" "is" "white" "-")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
If something is big and not white then it is young.
((("something" "is" "big" "+") ("something" "is" "white" "~")) -> ("something" "is" "young" "+"))
Bob is kind.
True
1
proof
[(triple6)]
("Bob" "is" "kind" "+")
triple6
Erin is not blue.
False
1
inv-proof
[(triple12)]
("Erin" "is" "blue" "-")
triple12
Anne is young.
True
3
proof
[(((triple1 triple5) -> rule1))]
("Anne" "is" "young" "+")
((triple1 triple5) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
3
inv-proof
[(((triple1 triple5) -> rule1))]
("Anne" "is" "young" "-")
((triple1 triple5) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is not rough.[(triple4)] Anne is not white.[(triple5)] Anne is quiet.[(triple3)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12)] Erin is not kind.[(triple13)] Erin is quiet.[(triple14)] Erin is rough.[(triple15)] Erin is white.[(triple16)] @1: Anne is young.[(((triple1 triple5) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is not white.
("Anne" "is" "white" "-")
triple5
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is quiet.
("Bob" "is" "quiet" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is white.
("Bob" "is" "white" "+")
triple9
Bob is young.
("Bob" "is" "young" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is not kind.
("Erin" "is" "kind" "-")
triple13
Erin is quiet.
("Erin" "is" "quiet" "+")
triple14
Erin is rough.
("Erin" "is" "rough" "+")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Anne is young.
("Anne" "is" "young" "+")
((triple1 triple5) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1