Bob is not red. Erin is not round. Erin is young. If Erin is young then Erin is not kind. If Erin is white then Erin is not round. If Bob is blue and Bob is green then Bob is round. All young things are white. If something is green then it is round. If something is white and not round then it is not kind. Kind things are red. If Erin is kind then Erin is blue.
Bob is not red.
("Bob" "is" "red" "-")
Erin is not round.
("Erin" "is" "round" "-")
Erin is young.
("Erin" "is" "young" "+")
If Erin is young then Erin is not kind.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "kind" "-"))
If Erin is white then Erin is not round.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "round" "-"))
If Bob is blue and Bob is green then Bob is round.
((("Bob" "is" "blue" "+") ("Bob" "is" "green" "+")) -> ("Bob" "is" "round" "+"))
All young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is white and not round then it is not kind.
((("something" "is" "white" "+") ("something" "is" "round" "~")) -> ("something" "is" "kind" "-"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If Erin is kind then Erin is blue.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "blue" "+"))
Erin is young.
True
1
proof
[(triple3)]
("Erin" "is" "young" "+")
triple3
Erin is round.
False
1
inv-proof
[(triple2 OR ((((triple3) -> rule4)) -> rule2))]
("Erin" "is" "round" "+")
triple2
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is white.
True
2
proof
[(((triple3) -> rule4))]
("Erin" "is" "white" "+")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule4))]
("Erin" "is" "white" "-")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "round" "-")
Erin is red.
Unknown
rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "red" "+")
Bob is not green.
Unknown
inv-random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is not red.[(triple1)] Erin is not round.[(triple2 OR ((((triple3) -> rule4)) -> rule2))] Erin is young.[(triple3)] @1: Erin is not kind.[(((triple3) -> rule1) OR ((((triple3) -> rule4) triple2) -> rule6) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule2)) -> rule6))] Erin is white.[(((triple3) -> rule4))]
Bob is not red.
("Bob" "is" "red" "-")
triple1
Erin is not round.
("Erin" "is" "round" "-")
triple2
((((triple3) -> (rule4 % int2))) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple3
Erin is not kind.
("Erin" "is" "kind" "-")
((triple3) -> (rule1 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
((((triple3) -> (rule4 % int2)) triple2) -> (rule6 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is not round.
("Erin" "is" "round" "-")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule4 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1