Charlie is blue. Charlie is not rough. Erin is blue. Erin is kind. Erin is nice. Erin is rough. Fiona is blue. Fiona is not kind. Fiona is red. Fiona is rough. Fiona is not young. Gary is blue. Gary is not nice. Gary is not red. Gary is rough. Gary is young. Nice things are young. If Gary is not red and Gary is not blue then Gary is kind.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
Nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If Gary is not red and Gary is not blue then Gary is kind.
((("Gary" "is" "red" "~") ("Gary" "is" "blue" "~")) -> ("Gary" "is" "kind" "+"))
Erin is nice.
True
1
proof
[(triple5)]
("Erin" "is" "nice" "+")
triple5
Gary is nice.
False
1
inv-proof
[(triple13)]
("Gary" "is" "nice" "+")
triple13
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Charlie is blue.[(triple1)] Charlie is not rough.[(triple2)] Erin is blue.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is not kind.[(triple8)] Fiona is not young.[(triple11)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Gary is blue.[(triple12)] Gary is not nice.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)] Gary is young.[(triple16)] @1: Erin is young.[(((triple5) -> rule1))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple2
Erin is blue.
("Erin" "is" "blue" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
Gary is not red.
("Gary" "is" "red" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Erin is young.
("Erin" "is" "young" "+")
((triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1