Erin is quiet. Erin is smart. Fiona is nice. If Fiona is big then Fiona is not round. If something is quiet and nice then it is round. Nice things are not green. If Erin is green and Erin is not quiet then Erin is big. If Fiona is round and Fiona is green then Fiona is quiet. Green things are not rough. If Erin is quiet and Erin is not rough then Erin is round. If Fiona is nice and Fiona is not green then Fiona is not rough.
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
If Fiona is big then Fiona is not round.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "round" "-"))
If something is quiet and nice then it is round.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Nice things are not green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "-"))
If Erin is green and Erin is not quiet then Erin is big.
((("Erin" "is" "green" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "big" "+"))
If Fiona is round and Fiona is green then Fiona is quiet.
((("Fiona" "is" "round" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "quiet" "+"))
Green things are not rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "-"))
If Erin is quiet and Erin is not rough then Erin is round.
((("Erin" "is" "quiet" "+") ("Erin" "is" "rough" "~")) -> ("Erin" "is" "round" "+"))
If Fiona is nice and Fiona is not green then Fiona is not rough.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "green" "~")) -> ("Fiona" "is" "rough" "-"))
Fiona is nice.
True
1
proof
[(triple3)]
("Fiona" "is" "nice" "+")
triple3
Fiona is not nice.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "nice" "-")
triple3
Fiona is not green.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "green" "-")
((triple3) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is green.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "green" "+")
((triple3) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is not rough.
True
4
proof
[(((triple3 ((triple3) -> rule3)) -> rule8))]
("Fiona" "is" "rough" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Fiona is rough.
False
4
inv-proof
[(((triple3 ((triple3) -> rule3)) -> rule8))]
("Fiona" "is" "rough" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2
Erin is not big.
Unknown
inv-rconc
[@1: Erin is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "big" "-")
Erin is round.
Unknown
rconc
[@1: Erin is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "round" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Erin is quiet.[(triple1)] Erin is smart.[(triple2)] Fiona is nice.[(triple3)] @1: Fiona is not green.[(((triple3) -> rule3))] @2: Fiona is not rough.[(((triple3 ((triple3) -> rule3)) -> rule8))]
Erin is quiet.
("Erin" "is" "quiet" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not green.
("Fiona" "is" "green" "-")
((triple3) -> (rule3 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
int2