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