Dave is quiet. Dave is rough. Dave is white. Dave is young. Erin is nice. Erin is quiet. Erin is not young. Fiona is blue. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. If something is blue then it is young. If something is blue and not young then it is white. All nice things are white.
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is blue then it is young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is blue and not young then it is white.
((("something" "is" "blue" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "+"))
All nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Dave is quiet.
True
1
proof
[(triple1)]
("Dave" "is" "quiet" "+")
triple1
Dave is not young.
False
1
inv-proof
[(triple4)]
("Dave" "is" "young" "-")
triple4
Erin is white.
True
2
proof
[(((triple5) -> rule3))]
("Erin" "is" "white" "+")
((triple5) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple5) -> rule3))]
("Erin" "is" "white" "-")
((triple5) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Fiona is not quiet.
Unknown
inv-random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] Dave is young.[(triple4)] Erin is nice.[(triple5)] Erin is not young.[(triple7)] Erin is quiet.[(triple6)] Fiona is blue.[(triple8)] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11 OR ((triple9) -> rule3))] Fiona is young.[(triple12 OR ((triple8) -> rule1))] @1: Erin is white.[(((triple5) -> rule3))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is white.
("Dave" "is" "white" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple9) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple8) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple5) -> (rule3 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1