Anne is kind. Anne is red. Anne is smart. Dave is furry. Dave is round. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Gary is green. Gary is red. Gary is round. Gary is smart. Round people are white. If someone is red and green then they are smart. All white people are green.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is red and green then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
All white people are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
Dave is furry.
True
1
proof
[(triple4)]
("Dave" "is" "furry" "+")
triple4
Gary is not green.
False
1
inv-proof
[(triple12 OR ((((triple14) -> rule1)) -> rule3))]
("Gary" "is" "green" "-")
triple12
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is white.
True
2
proof
[(((triple14) -> rule1))]
("Gary" "is" "white" "+")
((triple14) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple14) -> rule1))]
("Gary" "is" "white" "-")
((triple14) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is green.
True
3
proof
[(((((triple5) -> rule1)) -> rule3))]
("Dave" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not green.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule3))]
("Dave" "is" "green" "-")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not smart.
Unknown
inv-rconc
[@1: Dave is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "smart" "-")
Anne is white.
Unknown
rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "+")
Anne is not green.
Unknown
inv-rconc
[@2: Anne is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Dave is furry.[(triple4)] Dave is round.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7 OR ((triple11) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is smart.[(triple10 OR ((triple8 triple7) -> rule2) OR ((triple8 ((triple11) -> rule3)) -> rule2) OR ((triple8 ((((triple9) -> rule1)) -> rule3)) -> rule2))] Fiona is white.[(triple11 OR ((triple9) -> rule1))] Gary is green.[(triple12 OR ((((triple14) -> rule1)) -> rule3))] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15 OR ((triple13 triple12) -> rule2) OR ((triple13 ((((triple14) -> rule1)) -> rule3)) -> rule2))] @1: Dave is white.[(((triple5) -> rule1))] Gary is white.[(((triple14) -> rule1))] @2: Dave is green.[(((((triple5) -> rule1)) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
((triple11) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple8 triple7) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple8 ((triple11) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple8 ((((triple9) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple12
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple13 triple12) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((triple13 ((((triple14) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple14) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2