Fiona is nice. If something is nice then it is young. If Fiona is young then Fiona is smart. All nice things are smart. Quiet, young things are cold. Smart things are cold. If Fiona is young and Fiona is quiet then Fiona is nice. If something is quiet and nice then it is smart. Kind, nice things are quiet.
Fiona is nice.
("Fiona" "is" "nice" "+")
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Fiona is young then Fiona is smart.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
All nice things are smart.
((("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Quiet, young things are cold.
((("something" "is" "quiet" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Smart things are cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "+"))
If Fiona is young and Fiona is quiet then Fiona is nice.
((("Fiona" "is" "young" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "nice" "+"))
If something is quiet and nice then it is smart.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "smart" "+"))
Kind, nice things are quiet.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Fiona is nice.
True
1
proof
[(triple1)]
("Fiona" "is" "nice" "+")
triple1
Fiona is not nice.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "nice" "-")
triple1
Fiona is smart.
True
2
proof
[(((triple1) -> rule3) OR ((((triple1) -> rule1)) -> rule2))]
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Fiona" "is" "young" "-")
((triple1) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
True
3
proof
[(((((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5))]
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not cold.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5))]
("Fiona" "is" "cold" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is nice.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule3) OR ((((triple1) -> rule1)) -> rule2))] Fiona is young.[(((triple1) -> rule1))] @2: Fiona is cold.[(((((triple1) -> rule3)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2)) -> rule5))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple1) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3