Fiona is furry. Fiona is nice. Fiona is rough. All rough, nice people are green. Nice, big people are cold. All cold, blue people are nice.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
All rough, nice people are green.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Nice, big people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
All cold, blue people are nice.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
Fiona is nice.
True
1
proof
[(triple2)]
("Fiona" "is" "nice" "+")
triple2
Fiona is not rough.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "rough" "-")
triple3
Fiona is green.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Fiona" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Fiona" "is" "green" "-")
((triple3 triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Fiona is furry.[(triple1)] Fiona is nice.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is green.[(((triple3 triple2) -> rule1))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1