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