Anne is big. Charlie is not rough. Erin is rough. Fiona is rough. If someone is quiet and blue then they are not rough. All quiet, red people are not kind. All smart people are not kind. Smart, quiet people are kind. Quiet, rough people are not red. Quiet people are not big. If Fiona is rough then Fiona is big. All big people are not smart.
Anne is big.
("Anne" "is" "big" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is quiet and blue then they are not rough.
((("someone" "is" "quiet" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "-"))
All quiet, red people are not kind.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "-"))
All smart people are not kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "-"))
Smart, quiet people are kind.
((("someone" "is" "smart" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Quiet, rough people are not red.
((("someone" "is" "quiet" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "-"))
Quiet people are not big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "-"))
If Fiona is rough then Fiona is big.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "big" "+"))
All big people are not smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "-"))
Fiona is rough.
True
1
proof
[(triple4)]
("Fiona" "is" "rough" "+")
triple4
Erin is not rough.
False
1
inv-proof
[(triple3)]
("Erin" "is" "rough" "-")
triple3
Anne is not smart.
True
2
proof
[(((triple1) -> rule8))]
("Anne" "is" "smart" "-")
((triple1) -> (rule8 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is not big.
False
2
inv-proof
[(((triple4) -> rule7))]
("Fiona" "is" "big" "-")
((triple4) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not smart.
True
3
proof
[(((((triple4) -> rule7)) -> rule8))]
("Fiona" "is" "smart" "-")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is smart.
False
3
inv-proof
[(((((triple4) -> rule7)) -> rule8))]
("Fiona" "is" "smart" "+")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is kind.
Unknown
rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "+")
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "kind" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Charlie is not rough.[(triple2)] Erin is rough.[(triple3)] Fiona is rough.[(triple4)] @1: Anne is not smart.[(((triple1) -> rule8))] Fiona is big.[(((triple4) -> rule7))] @2: Fiona is not smart.[(((((triple4) -> rule7)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Anne is not smart.
("Anne" "is" "smart" "-")
((triple1) -> (rule8 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple4) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((((triple4) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2