Fiona is furry. Fiona is quiet. Fiona is smart. If something is smart and blue then it is quiet. If Fiona is smart then Fiona is young. If Fiona is blue and Fiona is smart then Fiona is white.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is smart and blue then it is quiet.
((("something" "is" "smart" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is smart then Fiona is young.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "young" "+"))
If Fiona is blue and Fiona is smart then Fiona is white.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Fiona is young.
True
2
proof
[(((triple3) -> rule2))]
("Fiona" "is" "young" "+")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "young" "-")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is furry.[(triple1)] Fiona is quiet.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is young.[(((triple3) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1