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