Fiona is not big. Fiona is not nice. Fiona is red. If Fiona is red then Fiona is cold. If something is kind then it is nice. If Fiona is not cold then Fiona is round. If something is kind and not nice then it is not round. Nice things are big. All cold things are not big. If something is cold and not round then it is big. Round, big things are furry.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is red then Fiona is cold.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "cold" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
If Fiona is not cold then Fiona is round.
((("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "round" "+"))
If something is kind and not nice then it is not round.
((("something" "is" "kind" "+") ("something" "is" "nice" "~")) -> ("something" "is" "round" "-"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All cold things are not big.
((("something" "is" "cold" "+")) -> ("something" "is" "big" "-"))
If something is cold and not round then it is big.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "+"))
Round, big things are furry.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
Fiona is not nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "-")
triple2
Fiona is nice.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Fiona is cold.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "cold" "-")
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "round" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "furry" "+")
@0: Fiona is not big.[(triple1 OR ((((triple3) -> rule1)) -> rule6))] Fiona is not nice.[(triple2)] Fiona is red.[(triple3)] @1: Fiona is cold.[(((triple3) -> rule1))]
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
((((triple3) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is not big.
("Fiona" "is" "big" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple3) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1