Fiona is big. Fiona is quiet. Fiona is young. If someone is big then they are round. Red people are not big. If someone is young and rough then they are not big. Furry, big people are quiet. If someone is red and rough then they are young. All big people are not furry.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is big then they are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Red people are not big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "-"))
If someone is young and rough then they are not big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
Furry, big people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is red and rough then they are young.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All big people are not furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "-"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Fiona is not big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "-")
triple1
Fiona is round.
True
2
proof
[(((triple1) -> rule1))]
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule6 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is not red.
Unknown
inv-random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Fiona is big.[(triple1)] Fiona is quiet.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is not furry.[(((triple1) -> rule6))] Fiona is round.[(((triple1) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple1) -> (rule6 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1