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