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