Bob is big. Bob is not nice. Bob is not round. Bob is not white. Bob is young. Dave is nice. Dave is not quiet. Dave is round. Dave is young. Erin is big. Erin is nice. Erin is quiet. Erin is white. Gary is big. Gary is cold. Gary is nice. If someone is white and not big then they are cold. If someone is white and not round then they are not cold. White, round people are quiet. If Dave is round and Dave is not big then Dave is quiet. If someone is cold and not quiet then they are nice. If someone is quiet and not nice then they are young.
Bob is big.
("Bob" "is" "big" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is white and not big then they are cold.
((("someone" "is" "white" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "+"))
If someone is white and not round then they are not cold.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "cold" "-"))
White, round people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If Dave is round and Dave is not big then Dave is quiet.
((("Dave" "is" "round" "+") ("Dave" "is" "big" "~")) -> ("Dave" "is" "quiet" "+"))
If someone is cold and not quiet then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "+"))
If someone is quiet and not nice then they are young.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "young" "+"))
Dave is nice.
True
1
proof
[(triple6)]
("Dave" "is" "nice" "+")
triple6
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is not nice.[(triple2)] Bob is not round.[(triple3)] Bob is not white.[(triple4)] Bob is young.[(triple5)] Dave is nice.[(triple6)] Dave is not quiet.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Erin is big.[(triple10)] Erin is nice.[(triple11)] Erin is quiet.[(triple12)] Erin is white.[(triple13)] Gary is big.[(triple14)] Gary is cold.[(triple15)] Gary is nice.[(triple16)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple2
Bob is not round.
("Bob" "is" "round" "-")
triple3
Bob is not white.
("Bob" "is" "white" "-")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Gary is big.
("Gary" "is" "big" "+")
triple14
Gary is cold.
("Gary" "is" "cold" "+")
triple15
Gary is nice.
("Gary" "is" "nice" "+")
triple16