Bob is not blue. Bob is cold. Bob is green. Bob is round. Dave is cold. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is kind. Fiona is quiet. Fiona is round. Fiona is smart. If Dave is smart then Dave is quiet. If Bob is round and Bob is cold then Bob is kind.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is round.
("Bob" "is" "round" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Dave is smart then Dave is quiet.
((("Dave" "is" "smart" "+")) -> ("Dave" "is" "quiet" "+"))
If Bob is round and Bob is cold then Bob is kind.
((("Bob" "is" "round" "+") ("Bob" "is" "cold" "+")) -> ("Bob" "is" "kind" "+"))
Bob is green.
True
1
proof
[(triple3)]
("Bob" "is" "green" "+")
triple3
Fiona is green.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "green" "+")
triple8
Bob is kind.
True
3
proof
[(((triple4 triple2) -> rule2))]
("Bob" "is" "kind" "+")
((triple4 triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple4 triple2) -> rule2))]
("Bob" "is" "kind" "-")
((triple4 triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "quiet" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not blue.[(triple1)] Bob is round.[(triple4)] Dave is cold.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple9)] Fiona is not green.[(triple8)] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Bob is kind.[(((triple4 triple2) -> rule2))]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is not green.
("Fiona" "is" "green" "-")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1