Anne is cold. Anne is red. Anne is round. Charlie is nice. Charlie is red. Dave is quiet. Dave is red. Dave is white. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. If Fiona is nice then Fiona is round. White, kind things are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is nice then Fiona is round.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "round" "+"))
White, kind things are nice.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Dave is not quiet.
False
1
inv-proof
[(triple6)]
("Dave" "is" "quiet" "-")
triple6
Fiona is nice.
True
3
proof
[(((triple12 triple9) -> rule2))]
("Fiona" "is" "nice" "+")
((triple12 triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple12 triple9) -> rule2))]
("Fiona" "is" "nice" "-")
((triple12 triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
True
4
proof
[(((((triple12 triple9) -> rule2)) -> rule1))]
("Fiona" "is" "round" "+")
((((triple12 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((((triple12 triple9) -> rule2)) -> rule1))]
("Fiona" "is" "round" "-")
((((triple12 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Anne is nice.
Unknown
rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is nice.[(((triple12 triple9) -> rule2))] @2: Fiona is round.[(((((triple12 triple9) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple12 triple9) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple12 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2