Dave is big. Dave is blue. Dave is cold. Dave is young. Erin is cold. Erin is not furry. Erin is young. Gary is cold. Gary is quiet. Gary is young. All blue people are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
All blue people are quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple9)]
("Gary" "is" "quiet" "+")
triple9
Gary is not quiet.
False
1
inv-proof
[(triple9)]
("Gary" "is" "quiet" "-")
triple9
Dave is quiet.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "quiet" "-")
((triple2) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Erin is not quiet.
Unknown
inv-rconc
[@1: Erin is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "quiet" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is young.[(triple4)] Erin is cold.[(triple5)] Erin is not furry.[(triple6)] Erin is young.[(triple7)] Gary is cold.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)] @1: Dave is quiet.[(((triple2) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is not furry.
("Erin" "is" "furry" "-")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple2) -> (rule1 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1