Bob is not round. Erin is big. If Bob is green and Bob is not blue then Bob is smart. Big people are green. All round, blue people are smart. All round, big people are not smart. Smart people are round. Smart, nice people are round. If Erin is not big and Erin is not white then Erin is nice. Green people are nice.
Bob is not round.
("Bob" "is" "round" "-")
Erin is big.
("Erin" "is" "big" "+")
If Bob is green and Bob is not blue then Bob is smart.
((("Bob" "is" "green" "+") ("Bob" "is" "blue" "~")) -> ("Bob" "is" "smart" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
All round, blue people are smart.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
All round, big people are not smart.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "smart" "-"))
Smart people are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Smart, nice people are round.
((("someone" "is" "smart" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If Erin is not big and Erin is not white then Erin is nice.
((("Erin" "is" "big" "~") ("Erin" "is" "white" "~")) -> ("Erin" "is" "nice" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Erin is big.
True
1
proof
[(triple2)]
("Erin" "is" "big" "+")
triple2
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Erin is green.
True
2
proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Erin" "is" "green" "-")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
True
3
proof
[(((((triple2) -> rule2)) -> rule8))]
("Erin" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule8))]
("Erin" "is" "nice" "-")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is round.
Unknown
rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Erin" "is" "round" "+")
Bob is not green.
Unknown
inv-rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is not round.[(triple1)] Erin is big.[(triple2)] @1: Erin is green.[(((triple2) -> rule2))] @2: Erin is nice.[(((((triple2) -> rule2)) -> rule8))]
Bob is not round.
("Bob" "is" "round" "-")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple2) -> (rule2 % int2))) -> (rule8 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2