Charlie is not green. Fiona is kind. If something is big then it is furry. Furry things are not red. If something is white and not kind then it is red. Kind things are big. If Fiona is furry and Fiona is red then Fiona is not big. If something is white and not red then it is green.
Charlie is not green.
("Charlie" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Furry things are not red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "-"))
If something is white and not kind then it is red.
((("something" "is" "white" "+") ("something" "is" "kind" "~")) -> ("something" "is" "red" "+"))
Kind things are big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If Fiona is furry and Fiona is red then Fiona is not big.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "big" "-"))
If something is white and not red then it is green.
((("something" "is" "white" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Fiona is not kind.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "kind" "-")
triple2
Fiona is big.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "big" "+")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "big" "-")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
True
3
proof
[(((((triple2) -> rule4)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not furry.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not red.
True
4
proof
[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]
("Fiona" "is" "red" "-")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]
("Fiona" "is" "red" "+")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Charlie is not furry.
Unknown
inv-rconc
[@2: Charlie is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is green.
Unknown
rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "green" "+")
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Charlie is not green.[(triple1)] Fiona is kind.[(triple2)] @1: Fiona is big.[(((triple2) -> rule4))] @2: Fiona is furry.[(((((triple2) -> rule4)) -> rule1))] @3: Fiona is not red.[(((((((triple2) -> rule4)) -> rule1)) -> rule2))]
Charlie is not green.
("Charlie" "is" "green" "-")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
((triple2) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not red.
("Fiona" "is" "red" "-")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not red.
("Fiona" "is" "red" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3