Anne is blue. Anne is rough. Anne is smart. Dave is blue. Dave is furry. Dave is smart. Dave is white. Erin is blue. Erin is not cold. Erin is rough. Erin is smart. Erin is white. Gary is blue. Gary is not cold. Gary is nice. White people are furry. All nice, blue people are furry. All smart people are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is nice.
("Gary" "is" "nice" "+")
White people are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All nice, blue people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
All smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple8)]
("Erin" "is" "blue" "-")
triple8
Anne is white.
True
2
proof
[(((triple3) -> rule3))]
("Anne" "is" "white" "+")
((triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple15 triple13) -> rule2))]
("Gary" "is" "furry" "-")
((triple15 triple13) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Anne is furry.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("Anne" "is" "furry" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not furry.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("Anne" "is" "furry" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Gary is not white.
Unknown
inv-rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5 OR ((triple7) -> rule1) OR ((((triple6) -> rule3)) -> rule1))] Dave is smart.[(triple6)] Dave is white.[(triple7 OR ((triple6) -> rule3))] Erin is blue.[(triple8)] Erin is not cold.[(triple9)] Erin is rough.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12 OR ((triple11) -> rule3))] Gary is blue.[(triple13)] Gary is nice.[(triple15)] Gary is not cold.[(triple14)] @1: Anne is white.[(((triple3) -> rule3))] Erin is furry.[(((triple12) -> rule1) OR ((((triple11) -> rule3)) -> rule1))] Gary is furry.[(((triple15 triple13) -> rule2))] @2: Anne is furry.[(((((triple3) -> rule3)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
((triple7) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple6) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is not cold.
("Erin" "is" "cold" "-")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
((triple11) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple13
Gary is nice.
("Gary" "is" "nice" "+")
triple15
Gary is not cold.
("Gary" "is" "cold" "-")
triple14
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple12) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple15 triple13) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2