Charlie is red. Dave is kind. Dave is rough. Erin is big. Erin is not kind. Erin is not rough. Erin is white. All kind people are red. If someone is red then they are rough. All rough people are kind.
Charlie is red.
("Charlie" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is white.
("Erin" "is" "white" "+")
All kind people are red.
((("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Erin is not kind.
True
1
proof
[(triple5)]
("Erin" "is" "kind" "-")
triple5
Dave is not kind.
False
1
inv-proof
[(triple2 OR ((triple3) -> rule3))]
("Dave" "is" "kind" "-")
triple2
((triple3) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Charlie is rough.
True
2
proof
[(((triple1) -> rule2))]
("Charlie" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
2
inv-proof
[(((triple1) -> rule2))]
("Charlie" "is" "rough" "-")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
True
3
proof
[(((((triple1) -> rule2)) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not kind.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is not red.
Unknown
inv-rconc
[@1: Erin is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "red" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
Dave is not quiet.
Unknown
inv-random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Charlie is red.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule3))] Dave is rough.[(triple3 OR ((((triple2) -> rule1)) -> rule2))] Erin is big.[(triple4)] Erin is not kind.[(triple5)] Erin is not rough.[(triple6)] Erin is white.[(triple7)] @1: Charlie is rough.[(((triple1) -> rule2))] Dave is red.[(((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] @2: Charlie is kind.[(((((triple1) -> rule2)) -> rule3))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple3) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple3
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is not kind.
("Erin" "is" "kind" "-")
triple5
Erin is not rough.
("Erin" "is" "rough" "-")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2