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