Bob is big. Erin is kind. If Bob is green then Bob is big. If something is green and round then it is kind. Round things are green. White, green things are blue. If Erin is round and Erin is green then Erin is blue. If something is kind then it is round. All big things are blue. All white things are round.
Bob is big.
("Bob" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If Bob is green then Bob is big.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "big" "+"))
If something is green and round then it is kind.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
White, green things are blue.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
If Erin is round and Erin is green then Erin is blue.
((("Erin" "is" "round" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "blue" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
All white things are round.
((("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
Erin is kind.
True
1
proof
[(triple2)]
("Erin" "is" "kind" "+")
triple2
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Bob is blue.
True
2
proof
[(((triple1) -> rule7))]
("Bob" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule7))]
("Bob" "is" "blue" "-")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is green.
True
3
proof
[(((((triple2) -> rule6)) -> rule3))]
("Erin" "is" "green" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule3))]
("Erin" "is" "green" "-")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
True
6
proof
[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5))]
("Erin" "is" "blue" "+")
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is not blue.
False
6
inv-proof
[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5))]
("Erin" "is" "blue" "-")
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Bob is not green.
Unknown
inv-rconc
[@3: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not round.
Unknown
inv-rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule8 <- FAIL)]]
("Bob" "is" "round" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Bob is big.[(triple1)] Erin is kind.[(triple2)] @1: Bob is blue.[(((triple1) -> rule7))] Erin is round.[(((triple2) -> rule6))] @2: Erin is green.[(((((triple2) -> rule6)) -> rule3))] @3: Erin is blue.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule7 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3