Fiona is smart. If someone is furry and nice then they are smart. Smart people are kind. If someone is nice then they are big. Kind people are big. All nice people are blue. If Fiona is nice then Fiona is furry. If Fiona is smart then Fiona is furry. If someone is furry then they are smart.
Fiona is smart.
("Fiona" "is" "smart" "+")
If someone is furry and nice then they are smart.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice then they are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
All nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is nice then Fiona is furry.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
If Fiona is smart then Fiona is furry.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "furry" "+"))
If someone is furry then they are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
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) -> rule2))]
("Fiona" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule7))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not blue.
Unknown
inv-rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Fiona is smart.[(triple1)] @1: Fiona is furry.[(((triple1) -> rule7))] Fiona is kind.[(((triple1) -> rule2))] @2: Fiona is big.[(((((triple1) -> rule2)) -> rule4))]
Fiona is smart.
("Fiona" "is" "smart" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2