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