Fiona is red. Big people are red. Quiet people are smart. Red, young people are not smart. If someone is big then they are quiet. If someone is quiet then they are rough. If someone is red then they are big.
Fiona is red.
("Fiona" "is" "red" "+")
Big people are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Red, young people are not smart.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "-"))
If someone is big then they are quiet.
((("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet then they are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are big.
((("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is big.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "big" "+")
((triple1) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not big.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "big" "-")
((triple1) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
True
3
proof
[(((((triple1) -> rule6)) -> rule4))]
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not quiet.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("Fiona" "is" "quiet" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
True
4
proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule2))]
("Fiona" "is" "smart" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not rough.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule4)) -> rule5))]
("Fiona" "is" "rough" "-")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Fiona is red.[(triple1)] @1: Fiona is big.[(((triple1) -> rule6))] @2: Fiona is quiet.[(((((triple1) -> rule6)) -> rule4))] @3: Fiona is rough.[(((((((triple1) -> rule6)) -> rule4)) -> rule5))] Fiona is smart.[(((((((triple1) -> rule6)) -> rule4)) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
((triple1) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3