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