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