Fiona is green. Fiona is kind. Fiona is not white. All nice, kind people are round. If someone is nice then they are round. If someone is kind then they are nice. If someone is nice and not round then they are smart. Smart people are white. If Fiona is white and Fiona is nice then Fiona is smart.
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
All nice, kind people are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind then they are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and not round then they are smart.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "smart" "+"))
Smart people are white.
((("someone" "is" "smart" "+")) -> ("someone" "is" "white" "+"))
If Fiona is white and Fiona is nice then Fiona is smart.
((("Fiona" "is" "white" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "smart" "+"))
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 nice.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
True
3
proof
[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule1))]
("Fiona" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule1))]
("Fiona" "is" "round" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not smart.
Unknown
inv-rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is green.[(triple1)] Fiona is kind.[(triple2)] Fiona is not white.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule3))] @2: Fiona is round.[(((((triple2) -> rule3)) -> rule2) OR ((((triple2) -> rule3) triple2) -> rule1))]
Fiona is green.
("Fiona" "is" "green" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is not white.
("Fiona" "is" "white" "-")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2