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