Dave is kind. Fiona is blue. Fiona is kind. If Dave is white and Dave is kind then Dave is furry. If someone is kind and smart then they are not green. If someone is blue and furry then they are smart. All blue people are furry. If someone is smart and not white then they are not kind. All green, white people are kind. If someone is white and furry then they are blue. Blue people are cold.
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
If Dave is white and Dave is kind then Dave is furry.
((("Dave" "is" "white" "+") ("Dave" "is" "kind" "+")) -> ("Dave" "is" "furry" "+"))
If someone is kind and smart then they are not green.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "-"))
If someone is blue and furry then they are smart.
((("someone" "is" "blue" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
All blue people are furry.
((("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "+"))
If someone is smart and not white then they are not kind.
((("someone" "is" "smart" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "kind" "-"))
All green, white people are kind.
((("someone" "is" "green" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If someone is white and furry then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fiona is kind.
True
1
proof
[(triple3)]
("Fiona" "is" "kind" "+")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
Fiona is cold.
True
2
proof
[(((triple2) -> rule8))]
("Fiona" "is" "cold" "+")
((triple2) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "furry" "-")
((triple2) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
True
4
proof
[(((triple2 ((triple2) -> rule4)) -> rule3))]
("Fiona" "is" "smart" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((triple2 ((triple2) -> rule4)) -> rule3))]
("Fiona" "is" "smart" "-")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not green.
True
6
proof
[(((triple3 ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule2))]
("Fiona" "is" "green" "-")
((triple3 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is green.
False
6
inv-proof
[(((triple3 ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule2))]
("Fiona" "is" "green" "+")
((triple3 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Dave is not furry.
Unknown
inv-rconc
[@2: Dave is furry.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not smart.
Unknown
inv-rconc
[@2: Dave is smart.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("Dave" "is" "smart" "-")
Dave is blue.
Unknown
rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "blue" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
@0: Dave is kind.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is cold.[(((triple2) -> rule8))] Fiona is furry.[(((triple2) -> rule4))] @2: Fiona is smart.[(((triple2 ((triple2) -> rule4)) -> rule3))] @3: Fiona is not green.[(((triple3 ((triple2 ((triple2) -> rule4)) -> rule3)) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2 ((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not green.
("Fiona" "is" "green" "-")
((triple3 ((triple2 ((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3