Charlie is smart. Erin is big. Young, blue people are kind. All blue, big people are kind. If Erin is rough then Erin is not kind. Blue people are rough. All nice, kind people are not rough. If someone is big then they are smart.
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Young, blue people are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All blue, big people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If Erin is rough then Erin is not kind.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "kind" "-"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All nice, kind people are not rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "-"))
If someone is big then they are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
Charlie is smart.
True
1
proof
[(triple1)]
("Charlie" "is" "smart" "+")
triple1
Erin is not big.
False
1
inv-proof
[(triple2)]
("Erin" "is" "big" "-")
triple2
Erin is smart.
True
2
proof
[(((triple2) -> rule6))]
("Erin" "is" "smart" "+")
((triple2) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple2) -> rule6))]
("Erin" "is" "smart" "-")
((triple2) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "-")
Erin is rough.
Unknown
rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "rough" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is smart.[(triple1)] Erin is big.[(triple2)] @1: Erin is smart.[(((triple2) -> rule6))]
Charlie is smart.
("Charlie" "is" "smart" "+")
triple1
Erin is big.
("Erin" "is" "big" "+")
triple2
Erin is smart.
("Erin" "is" "smart" "+")
((triple2) -> (rule6 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1