Dave is furry. Erin is cold. Erin is quiet. If someone is quiet then they are white. If Dave is quiet then Dave is smart. All red people are furry. If Dave is nice and Dave is cold then Dave is furry. White people are red. If Erin is smart and Erin is white then Erin is furry.
Dave is furry.
("Dave" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
If Dave is quiet then Dave is smart.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "smart" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Dave is nice and Dave is cold then Dave is furry.
((("Dave" "is" "nice" "+") ("Dave" "is" "cold" "+")) -> ("Dave" "is" "furry" "+"))
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Erin is smart and Erin is white then Erin is furry.
((("Erin" "is" "smart" "+") ("Erin" "is" "white" "+")) -> ("Erin" "is" "furry" "+"))
Erin is quiet.
True
1
proof
[(triple3)]
("Erin" "is" "quiet" "+")
triple3
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Erin is white.
True
2
proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "+")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "white" "-")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Dave is smart.
Unknown
rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is furry.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is white.[(((triple3) -> rule1))] @2: Erin is red.[(((((triple3) -> rule1)) -> rule5))] @3: Erin is furry.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3