Charlie is round. Erin is furry. Erin is round. If something is round then it is kind. If Charlie is kind then Charlie is young.
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
If something is round then it is kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If Charlie is kind then Charlie is young.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "young" "+"))
Erin is furry.
True
1
proof
[(triple2)]
("Erin" "is" "furry" "+")
triple2
Erin is not round.
False
1
inv-proof
[(triple3)]
("Erin" "is" "round" "-")
triple3
Charlie is kind.
True
2
proof
[(((triple1) -> rule1))]
("Charlie" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("Charlie" "is" "kind" "-")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("Charlie" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not young.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("Charlie" "is" "young" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is round.[(triple1)] Erin is furry.[(triple2)] Erin is round.[(triple3)] @1: Charlie is kind.[(((triple1) -> rule1))] Erin is kind.[(((triple3) -> rule1))] @2: Charlie is young.[(((((triple1) -> rule1)) -> rule2))]
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2