Bob is red. Charlie is not blue. Erin is kind. Fiona is kind. Big people are not red. Kind people are round. All big people are not round. If someone is green then they are blue. Red people are rough. Kind people are rough. Big people are kind. All red people are green.
Bob is red.
("Bob" "is" "red" "+")
Charlie is not blue.
("Charlie" "is" "blue" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Big people are not red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All big people are not round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "-"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple3)]
("Erin" "is" "kind" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple4) -> rule6))]
("Fiona" "is" "rough" "+")
((triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple3) -> rule2))]
("Erin" "is" "round" "-")
((triple3) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Bob is blue.
True
3
proof
[(((((triple1) -> rule8)) -> rule4))]
("Bob" "is" "blue" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not blue.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule4))]
("Bob" "is" "blue" "-")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Erin" "is" "green" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is red.[(triple1)] Charlie is not blue.[(triple2)] Erin is kind.[(triple3)] Fiona is kind.[(triple4)] @1: Bob is green.[(((triple1) -> rule8))] Bob is rough.[(((triple1) -> rule5))] Erin is rough.[(((triple3) -> rule6))] Erin is round.[(((triple3) -> rule2))] Fiona is rough.[(((triple4) -> rule6))] Fiona is round.[(((triple4) -> rule2))] @2: Bob is blue.[(((((triple1) -> rule8)) -> rule4))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is not blue.
("Charlie" "is" "blue" "-")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple1) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple3) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple4) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple1) -> (rule8 % int2))) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2