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