Fiona is round. If someone is smart and round then they are white. All white, big people are red. Furry, white people are smart. If Fiona is round then Fiona is smart. If someone is kind then they are smart. If someone is red and kind then they are round. If someone is round then they are smart. White, furry people are kind.
Fiona is round.
("Fiona" "is" "round" "+")
If someone is smart and round then they are white.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All white, big people are red.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Furry, white people are smart.
((("someone" "is" "furry" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is round then Fiona is smart.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "smart" "+"))
If someone is kind then they are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If someone is red and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are smart.
((("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
White, furry people are kind.
((("someone" "is" "white" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Fiona is round.
True
1
proof
[(triple1)]
("Fiona" "is" "round" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "round" "-")
triple1
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Fiona is round.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule4) OR ((triple1) -> rule7))] @2: Fiona is white.[(((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule7) triple1) -> rule1))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple1) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1) -> (rule7 % int2)) triple1) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2