Fiona is big. Fiona is cold. Fiona is green. If someone is round and not cold then they are green. If someone is red then they are green. If Fiona is smart and Fiona is not red then Fiona is green. All furry, round people are big. Green people are round. All red people are furry. If someone is round and not red then they are smart. All cold, round people are smart.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If someone is round and not cold then they are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "green" "+"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If Fiona is smart and Fiona is not red then Fiona is green.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "red" "~")) -> ("Fiona" "is" "green" "+"))
All furry, round people are big.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If someone is round and not red then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "smart" "+"))
All cold, round people are smart.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Fiona is cold.
True
1
proof
[(triple2)]
("Fiona" "is" "cold" "+")
triple2
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is round.
True
2
proof
[(((triple3) -> rule5))]
("Fiona" "is" "round" "+")
((triple3) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple3) -> rule5))]
("Fiona" "is" "round" "-")
((triple3) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
True
4
proof
[(((triple2 ((triple3) -> rule5)) -> rule8))]
("Fiona" "is" "smart" "+")
((triple2 ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not smart.
False
4
inv-proof
[(((triple2 ((triple3) -> rule5)) -> rule8))]
("Fiona" "is" "smart" "-")
((triple2 ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3)] @1: Fiona is round.[(((triple3) -> rule5))] @2: Fiona is smart.[(((triple2 ((triple3) -> rule5)) -> rule8))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
((triple3) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple2 ((triple3) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2