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