Fiona is nice. Fiona is not rough. Fiona is smart. If Fiona is furry and Fiona is round then Fiona is cold. All nice, smart people are furry. If someone is round and not smart then they are furry.
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is furry and Fiona is round then Fiona is cold.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "cold" "+"))
All nice, smart people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is round and not smart then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "furry" "+"))
Fiona is nice.
True
1
proof
[(triple1)]
("Fiona" "is" "nice" "+")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is furry.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Fiona" "is" "furry" "+")
((triple1 triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
3
inv-proof
[(((triple1 triple3) -> rule2))]
("Fiona" "is" "furry" "-")
((triple1 triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
@0: Fiona is nice.[(triple1)] Fiona is not rough.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is furry.[(((triple1 triple3) -> rule2))]
Fiona is nice.
("Fiona" "is" "nice" "+")
triple1
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1 triple3) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1