Bob is big. Bob is green. Bob is kind. Bob is not smart. Bob is young. Dave is big. Dave is green. Dave is not smart. Dave is young. Fiona is not cold. Fiona is not green. Fiona is kind. Fiona is round. Fiona is not smart. Fiona is young. All smart things are not cold. All cold things are not young. If Fiona is smart then Fiona is round.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is young.
("Bob" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is young.
("Dave" "is" "young" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is young.
("Fiona" "is" "young" "+")
All smart things are not cold.
((("something" "is" "smart" "+")) -> ("something" "is" "cold" "-"))
All cold things are not young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
If Fiona is smart then Fiona is round.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "round" "+"))
Fiona is not smart.
True
1
proof
[(triple14)]
("Fiona" "is" "smart" "-")
triple14
Fiona is green.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "green" "+")
triple11
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is not smart.[(triple4)] Bob is young.[(triple5)] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is not smart.[(triple8)] Dave is young.[(triple9)] Fiona is kind.[(triple12)] Fiona is not cold.[(triple10)] Fiona is not green.[(triple11)] Fiona is not smart.[(triple14)] Fiona is round.[(triple13)] Fiona is young.[(triple15)]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is not smart.
("Dave" "is" "smart" "-")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple10
Fiona is not green.
("Fiona" "is" "green" "-")
triple11
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple14
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is young.
("Fiona" "is" "young" "+")
triple15