Charlie is blue. Charlie is kind. Charlie is rough. Charlie is white. Erin is big. Erin is blue. Erin is kind. Erin is white. Harry is big. Harry is blue. Harry is not kind. Harry is nice. If someone is kind and not white then they are rough. All kind, rough people are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is kind and not white then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
All kind, rough people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Charlie is nice.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "nice" "-")
((triple2 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is kind.[(triple7)] Erin is white.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is nice.[(triple12)] Harry is not kind.[(triple11)] @1: Charlie is nice.[(((triple2 triple3) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1