Fiona is white. If Fiona is kind then Fiona is green. If someone is white then they are green. If Fiona is kind and Fiona is white then Fiona is blue. If Fiona is not green then Fiona is smart. All red, kind people are big. Green people are not big. If someone is smart then they are not red. Big people are not red.
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is kind then Fiona is green.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "green" "+"))
If someone is white then they are green.
((("someone" "is" "white" "+")) -> ("someone" "is" "green" "+"))
If Fiona is kind and Fiona is white then Fiona is blue.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "blue" "+"))
If Fiona is not green then Fiona is smart.
((("Fiona" "is" "green" "~")) -> ("Fiona" "is" "smart" "+"))
All red, kind people are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Green people are not big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "-"))
If someone is smart then they are not red.
((("someone" "is" "smart" "+")) -> ("someone" "is" "red" "-"))
Big people are not red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "-"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is green.
True
2
proof
[(((triple1) -> rule2))]
("Fiona" "is" "green" "+")
((triple1) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple1) -> rule2))]
("Fiona" "is" "green" "-")
((triple1) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not big.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("Fiona" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("Fiona" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "blue" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is white.[(triple1)] @1: Fiona is green.[(((triple1) -> rule2))] @2: Fiona is not big.[(((((triple1) -> rule2)) -> rule6))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
((triple1) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not big.
("Fiona" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2