Charlie is cold. Fiona is quiet. Gary is smart. Quiet, smart people are cold. All smart, rough people are quiet. Round people are quiet. Round people are young. If someone is round and cold then they are red. Rough, young people are round.
Charlie is cold.
("Charlie" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Quiet, smart people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
All smart, rough people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and cold then they are red.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Rough, young people are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Gary is not smart.
False
1
inv-proof
[(triple3)]
("Gary" "is" "smart" "-")
triple3
Gary is not quiet.
Unknown
inv-rconc
[@2: Gary is quiet.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Charlie is cold.[(triple1)] Fiona is quiet.[(triple2)] Gary is smart.[(triple3)]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3