Dave is rough. Fiona is white. Gary is quiet. Harry is rough. If Harry is round then Harry is not kind. All nice people are not round. All white people are nice. All white, quiet people are big. All round, kind people are quiet. If someone is white and not round then they are kind. All big, nice people are not kind. All quiet people are not kind.
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If Harry is round then Harry is not kind.
((("Harry" "is" "round" "+")) -> ("Harry" "is" "kind" "-"))
All nice people are not round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "-"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All white, quiet people are big.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All round, kind people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white and not round then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "kind" "+"))
All big, nice people are not kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "-"))
All quiet people are not kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "-"))
Harry is rough.
True
1
proof
[(triple4)]
("Harry" "is" "rough" "+")
triple4
Harry is not rough.
False
1
inv-proof
[(triple4)]
("Harry" "is" "rough" "-")
triple4
Fiona is nice.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not round.
True
3
proof
[(((((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "round" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule2))]
("Fiona" "is" "round" "+")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
True
5
proof
[(((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "+")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not kind.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "-")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "big" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "kind" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is white.
Unknown
random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Dave is rough.[(triple1)] Fiona is white.[(triple2)] Gary is quiet.[(triple3)] Harry is rough.[(triple4)] @1: Fiona is nice.[(((triple2) -> rule3))] Gary is not kind.[(((triple3) -> rule8))] @2: Fiona is not round.[(((((triple2) -> rule3)) -> rule2))] @3: Fiona is kind.[(((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Harry is rough.
("Harry" "is" "rough" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Gary is not kind.
("Gary" "is" "kind" "-")
((triple3) -> (rule8 % int1))
Gary is not kind.
("Gary" "is" "kind" "-")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3