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