Dave is not rough. Erin is nice. Erin is white. If Dave is not green then Dave is big. If Erin is white and Erin is nice then Erin is round. If something is kind and not big then it is not nice. If something is big then it is nice. If something is kind then it is not nice. If something is round then it is not rough.
Dave is not rough.
("Dave" "is" "rough" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
If Dave is not green then Dave is big.
((("Dave" "is" "green" "~")) -> ("Dave" "is" "big" "+"))
If Erin is white and Erin is nice then Erin is round.
((("Erin" "is" "white" "+") ("Erin" "is" "nice" "+")) -> ("Erin" "is" "round" "+"))
If something is kind and not big then it is not nice.
((("something" "is" "kind" "+") ("something" "is" "big" "~")) -> ("something" "is" "nice" "-"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is not nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "-"))
If something is round then it is not rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "-"))
Erin is nice.
True
1
proof
[(triple2)]
("Erin" "is" "nice" "+")
triple2
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Erin is round.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Erin" "is" "round" "+")
((triple3 triple2) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Erin" "is" "round" "-")
((triple3 triple2) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not rough.
True
4
proof
[(((((triple3 triple2) -> rule2)) -> rule6))]
("Erin" "is" "rough" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
False
4
inv-proof
[(((((triple3 triple2) -> rule2)) -> rule6))]
("Erin" "is" "rough" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Dave is not rough.[(triple1)] Erin is nice.[(triple2)] Erin is white.[(triple3)] @1: Erin is round.[(((triple3 triple2) -> rule2))] @2: Erin is not rough.[(((((triple3 triple2) -> rule2)) -> rule6))]
Dave is not rough.
("Dave" "is" "rough" "-")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple3 triple2) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule6 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2