Anne is not red. Erin is not red. Fiona is smart. Furry people are not round. All rough people are red. Smart people are rough.
Anne is not red.
("Anne" "is" "red" "-")
Erin is not red.
("Erin" "is" "red" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Furry people are not round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "-"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Smart people are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Anne is not red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Fiona is not smart.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "smart" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple3) -> rule3))]
("Fiona" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple3) -> rule3))]
("Fiona" "is" "rough" "-")
((triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not red.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule2))]
("Fiona" "is" "red" "-")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "rough" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is not red.[(triple1)] Erin is not red.[(triple2)] Fiona is smart.[(triple3)] @1: Fiona is rough.[(((triple3) -> rule3))] @2: Fiona is red.[(((((triple3) -> rule3)) -> rule2))]
Anne is not red.
("Anne" "is" "red" "-")
triple1
Erin is not red.
("Erin" "is" "red" "-")
triple2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2