Charlie is big. Erin is rough. Fiona is not round. Round, furry things are rough. If something is cold and round then it is rough. If something is rough then it is round.
Charlie is big.
("Charlie" "is" "big" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Round, furry things are rough.
((("something" "is" "round" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is cold and round then it is rough.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
Fiona is not round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Erin is round.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "round" "-")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is not rough.
Unknown
inv-rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Erin is rough.[(triple2)] Fiona is not round.[(triple3)] @1: Erin is round.[(((triple2) -> rule3))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Fiona is not round.
("Fiona" "is" "round" "-")
triple3
Erin is round.
("Erin" "is" "round" "+")
((triple2) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1