Anne is green. Anne is nice. Anne is young. Charlie is green. Charlie is nice. Charlie is not quiet. Charlie is rough. Charlie is smart. Charlie is not white. Fiona is nice. Fiona is rough. Fiona is young. All smart people are young.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All smart people are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Charlie is young.
True
2
proof
[(((triple8) -> rule1))]
("Charlie" "is" "young" "+")
((triple8) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple8) -> rule1))]
("Charlie" "is" "young" "-")
((triple8) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Anne is not rough.
Unknown
inv-random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is young.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is not white.[(triple9)] Charlie is rough.[(triple7)] Charlie is smart.[(triple8)] Fiona is nice.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is young.[(((triple8) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is not white.
("Charlie" "is" "white" "-")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Charlie is young.
("Charlie" "is" "young" "+")
((triple8) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1