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