Bob is blue. Bob is kind. Bob is red. Bob is not smart. Bob is not young. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If Bob is young then Bob is not nice.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is not young.
("Bob" "is" "young" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Bob is young then Bob is not nice.
((("Bob" "is" "young" "+")) -> ("Bob" "is" "nice" "-"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "+")
triple4
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is not smart.[(triple4)] Bob is not young.[(triple5)] Bob is red.[(triple3)] Fiona is blue.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not young.[(triple12)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is not young.
("Bob" "is" "young" "-")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11