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