Bob is cold. Bob is rough. Bob is round. Bob is not white. Bob is young. Dave is cold. Dave is not green. Dave is quiet. Dave is rough. Dave is round. Dave is young. Erin is rough. If Erin is young then Erin is not quiet. If someone is green and white then they are not quiet. If Bob is white then Bob is not cold. If someone is cold and not quiet then they are rough. If someone is rough and cold then they are round. If someone is round and not quiet then they are not cold. All white, quiet people are cold. If Dave is round and Dave is not cold then Dave is young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
If Erin is young then Erin is not quiet.
((("Erin" "is" "young" "+")) -> ("Erin" "is" "quiet" "-"))
If someone is green and white then they are not quiet.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "-"))
If Bob is white then Bob is not cold.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "cold" "-"))
If someone is cold and not quiet then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "rough" "+"))
If someone is rough and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not quiet then they are not cold.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "cold" "-"))
All white, quiet people are cold.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Dave is round and Dave is not cold then Dave is young.
((("Dave" "is" "round" "+") ("Dave" "is" "cold" "~")) -> ("Dave" "is" "young" "+"))
Dave is quiet.
True
1
proof
[(triple8)]
("Dave" "is" "quiet" "+")
triple8
Dave is not young.
False
1
inv-proof
[(triple11)]
("Dave" "is" "young" "-")
triple11
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "cold" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
@0: Bob is cold.[(triple1)] Bob is not white.[(triple4)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2 triple1) -> rule5))] Bob is young.[(triple5)] Dave is cold.[(triple6)] Dave is not green.[(triple7)] Dave is quiet.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10 OR ((triple9 triple6) -> rule5))] Dave is young.[(triple11)] Erin is rough.[(triple12)]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
((triple2 triple1) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is not green.
("Dave" "is" "green" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
((triple9 triple6) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12