Bob is cold. Bob is furry. Bob is white. Bob is young. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is not quiet. Erin is not rough. Erin is white. Gary is quiet. Gary is not white. All quiet things are not cold. If Gary is white then Gary is round. If Bob is not white and Bob is not cold then Bob is furry. Quiet, furry things are young. All white, quiet things are rough. Furry things are rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is white.
("Erin" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not white.
("Gary" "is" "white" "-")
All quiet things are not cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "-"))
If Gary is white then Gary is round.
((("Gary" "is" "white" "+")) -> ("Gary" "is" "round" "+"))
If Bob is not white and Bob is not cold then Bob is furry.
((("Bob" "is" "white" "~") ("Bob" "is" "cold" "~")) -> ("Bob" "is" "furry" "+"))
Quiet, furry things are young.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "young" "+"))
All white, quiet things are rough.
((("something" "is" "white" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Bob is young.
True
1
proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Dave is not furry.
False
1
inv-proof
[(triple5)]
("Dave" "is" "furry" "-")
triple5
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple5) -> rule6) OR ((triple9 triple6) -> rule5))] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple6 triple5) -> rule4))] Erin is not quiet.[(triple11)] Erin is not rough.[(triple12)] Erin is white.[(triple13)] Gary is not white.[(triple15)] Gary is quiet.[(triple14)] @1: Bob is rough.[(((triple2) -> rule6))] Dave is not cold.[(((triple6) -> rule1))] Gary is not cold.[(((triple14) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
((triple5) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((triple9 triple6) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
((triple6 triple5) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple11
Erin is not rough.
("Erin" "is" "rough" "-")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Gary is not white.
("Gary" "is" "white" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is not cold.
("Dave" "is" "cold" "-")
((triple6) -> (rule1 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Gary is not cold.
("Gary" "is" "cold" "-")
((triple14) -> (rule1 % int1))
Gary is not cold.
("Gary" "is" "cold" "-")
int1