Dave is cold. Dave is green. Dave is quiet. Dave is rough. Dave is round. Dave is not smart. Dave is not white. Erin is cold. Erin is quiet. Erin is rough. Erin is not white. Fiona is rough. Fiona is white. Gary is quiet. Gary is smart. If something is round and not quiet then it is rough. All smart, quiet things are cold.
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is not white.
("Dave" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not white.
("Erin" "is" "white" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is round and not quiet then it is rough.
((("something" "is" "round" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "rough" "+"))
All smart, quiet things are cold.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Gary is quiet.
True
1
proof
[(triple14)]
("Gary" "is" "quiet" "+")
triple14
Dave is white.
False
1
inv-proof
[(triple7)]
("Dave" "is" "white" "+")
triple7
Gary is cold.
True
3
proof
[(((triple15 triple14) -> rule2))]
("Gary" "is" "cold" "+")
((triple15 triple14) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple15 triple14) -> rule2))]
("Gary" "is" "cold" "-")
((triple15 triple14) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Fiona is not cold.
Unknown
inv-rconc
[@1: Fiona is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is not smart.[(triple6)] Dave is not white.[(triple7)] Dave is quiet.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Erin is cold.[(triple8)] Erin is not white.[(triple11)] Erin is quiet.[(triple9)] Erin is rough.[(triple10)] Fiona is rough.[(triple12)] Fiona is white.[(triple13)] Gary is quiet.[(triple14)] Gary is smart.[(triple15)] @1: Gary is cold.[(((triple15 triple14) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is not smart.
("Dave" "is" "smart" "-")
triple6
Dave is not white.
("Dave" "is" "white" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is not white.
("Erin" "is" "white" "-")
triple11
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is cold.
("Gary" "is" "cold" "+")
((triple15 triple14) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1