Bob is red. Bob is rough. Bob is smart. Dave is furry. Dave is not nice. Erin is red. Gary is green. If Dave is green then Dave is smart. All smart, rough people are nice.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Erin is red.
("Erin" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If Dave is green then Dave is smart.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "smart" "+"))
All smart, rough people are nice.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Bob is rough.
True
1
proof
[(triple2)]
("Bob" "is" "rough" "+")
triple2
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is nice.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Bob" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is not nice.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "smart" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Bob is quiet.
Unknown
random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "+")
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is smart.[(triple3)] Dave is furry.[(triple4)] Dave is not nice.[(triple5)] Erin is red.[(triple6)] Gary is green.[(triple7)] @1: Bob is nice.[(((triple3 triple2) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is not nice.
("Dave" "is" "nice" "-")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Bob is nice.
("Bob" "is" "nice" "+")
((triple3 triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1