Anne is kind. Anne is smart. Charlie is not cold. Charlie is kind. Charlie is rough. Charlie is smart. Erin is cold. Erin is furry. Erin is not kind. Erin is quiet. Kind people are quiet. If Anne is not kind then Anne is rough. If someone is quiet then they are nice.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is not cold.
("Charlie" "is" "cold" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Anne is not kind then Anne is rough.
((("Anne" "is" "kind" "~")) -> ("Anne" "is" "rough" "+"))
If someone is quiet then they are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Erin is kind.
False
1
inv-proof
[(triple9)]
("Erin" "is" "kind" "+")
triple9
Erin is nice.
True
2
proof
[(((triple10) -> rule3))]
("Erin" "is" "nice" "+")
((triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple10) -> rule3))]
("Erin" "is" "nice" "-")
((triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("Anne" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not nice.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("Anne" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is not rough.
Unknown
inv-rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Charlie is kind.[(triple4)] Charlie is not cold.[(triple3)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is not kind.[(triple9)] Erin is quiet.[(triple10)] @1: Anne is quiet.[(((triple1) -> rule1))] Charlie is quiet.[(((triple4) -> rule1))] Erin is nice.[(((triple10) -> rule3))] @2: Anne is nice.[(((((triple1) -> rule1)) -> rule3))] Charlie is nice.[(((((triple4) -> rule1)) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is not cold.
("Charlie" "is" "cold" "-")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is not kind.
("Erin" "is" "kind" "-")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple4) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple10) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2