Anne is rough. Anne is smart. Anne is white. Erin is furry. Erin is kind. Erin is not smart. Erin is young. Fiona is kind. Fiona is smart. Fiona is white. Gary is quiet. Gary is smart. If something is smart then it is young.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If something is smart then it is young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
Erin is young.
True
1
proof
[(triple7)]
("Erin" "is" "young" "+")
triple7
Erin is not kind.
False
1
inv-proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Gary is young.
True
2
proof
[(((triple12) -> rule1))]
("Gary" "is" "young" "+")
((triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple12) -> rule1))]
("Gary" "is" "young" "-")
((triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is not smart.[(triple6)] Erin is young.[(triple7)] Fiona is kind.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)] Gary is quiet.[(triple11)] Gary is smart.[(triple12)] @1: Anne is young.[(((triple2) -> rule1))] Fiona is young.[(((triple9) -> rule1))] Gary is young.[(((triple12) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is furry.
("Erin" "is" "furry" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is not smart.
("Erin" "is" "smart" "-")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple9) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple12) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1