Fiona is red. Gary is not red. Harry is big. Round things are not green. If Gary is big then Gary is not quiet. All round, quiet things are not kind. If Harry is kind then Harry is not nice. Nice, green things are quiet. Red things are quiet. If something is red and not big then it is nice. If something is quiet then it is round.
Fiona is red.
("Fiona" "is" "red" "+")
Gary is not red.
("Gary" "is" "red" "-")
Harry is big.
("Harry" "is" "big" "+")
Round things are not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
If Gary is big then Gary is not quiet.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "quiet" "-"))
All round, quiet things are not kind.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "kind" "-"))
If Harry is kind then Harry is not nice.
((("Harry" "is" "kind" "+")) -> ("Harry" "is" "nice" "-"))
Nice, green things are quiet.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If something is red and not big then it is nice.
((("something" "is" "red" "+") ("something" "is" "big" "~")) -> ("something" "is" "nice" "+"))
If something is quiet then it is round.
((("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
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 quiet.
True
2
proof
[(((triple1) -> rule6))]
("Fiona" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple1) -> rule6))]
("Fiona" "is" "quiet" "-")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
True
3
proof
[(((((triple1) -> rule6)) -> rule8))]
("Fiona" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule8))]
("Fiona" "is" "round" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not kind.
True
6
proof
[(((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "-")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is kind.
False
6
inv-proof
[(((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "+")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Fiona is nice.
Unknown
rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "nice" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is quiet.
Unknown
rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "quiet" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Fiona is red.[(triple1)] Gary is not red.[(triple2)] Harry is big.[(triple3)] @1: Fiona is quiet.[(((triple1) -> rule6))] @2: Fiona is round.[(((((triple1) -> rule6)) -> rule8))] @3: Fiona is not green.[(((((((triple1) -> rule6)) -> rule8)) -> rule1))] Fiona is not kind.[(((((((triple1) -> rule6)) -> rule8) ((triple1) -> rule6)) -> rule3))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Gary is not red.
("Gary" "is" "red" "-")
triple2
Harry is big.
("Harry" "is" "big" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple1) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not green.
("Fiona" "is" "green" "-")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not kind.
("Fiona" "is" "kind" "-")
((((((triple1) -> (rule6 % int3))) -> (rule8 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3