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