Bob is kind. Bob is rough. Bob is not round. Bob is smart. Bob is white. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is white. If Erin is green and Erin is smart then Erin is round.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If Erin is green and Erin is smart then Erin is round.
((("Erin" "is" "green" "+") ("Erin" "is" "smart" "+")) -> ("Erin" "is" "round" "+"))
Bob is white.
True
1
proof
[(triple5)]
("Bob" "is" "white" "+")
triple5
Bob is not white.
False
1
inv-proof
[(triple5)]
("Bob" "is" "white" "-")
triple5
Erin is round.
True
3
proof
[(((triple6 triple9) -> rule1))]
("Erin" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple6 triple9) -> rule1))]
("Erin" "is" "round" "-")
((triple6 triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is kind.[(triple1)] Bob is not round.[(triple3)] Bob is rough.[(triple2)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Erin is round.[(((triple6 triple9) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple6 triple9) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1