Charlie is young. Dave is not kind. Dave is quiet. Erin is big. Erin is young. Fiona is quiet. Fiona is not young. If Fiona is quiet then Fiona is rough. All rough things are nice. If something is quiet then it is rough. All cold things are rough. If Dave is kind then Dave is quiet. All nice things are not kind. If Charlie is big then Charlie is quiet. If something is nice and not quiet then it is not young.
Charlie is young.
("Charlie" "is" "young" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Fiona is quiet then Fiona is rough.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "rough" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If Dave is kind then Dave is quiet.
((("Dave" "is" "kind" "+")) -> ("Dave" "is" "quiet" "+"))
All nice things are not kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "-"))
If Charlie is big then Charlie is quiet.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "quiet" "+"))
If something is nice and not quiet then it is not young.
((("something" "is" "nice" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "young" "-"))
Fiona is not young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Erin is not big.
False
1
inv-proof
[(triple4)]
("Erin" "is" "big" "-")
triple4
Dave is rough.
True
2
proof
[(((triple3) -> rule3))]
("Dave" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple6) -> rule1) OR ((triple6) -> rule3))]
("Fiona" "is" "rough" "-")
((triple6) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple6) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is nice.
True
3
proof
[(((((triple3) -> rule3)) -> rule2))]
("Dave" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))]
("Fiona" "is" "nice" "-")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not kind.
True
4
proof
[(((((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "-")
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
False
4
inv-proof
[(((((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "+")
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Charlie is not quiet.
Unknown
inv-rconc
[@1: Charlie is quiet.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is nice.
Unknown
rconc
[@2: Erin is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Charlie is nice.
Unknown
rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is young.[(triple1)] Dave is not kind.[(triple2 OR ((((((triple3) -> rule3)) -> rule2)) -> rule6))] Dave is quiet.[(triple3)] Erin is big.[(triple4)] Erin is young.[(triple5)] Fiona is not young.[(triple7)] Fiona is quiet.[(triple6)] @1: Dave is rough.[(((triple3) -> rule3))] Fiona is rough.[(((triple6) -> rule1) OR ((triple6) -> rule3))] @2: Dave is nice.[(((((triple3) -> rule3)) -> rule2))] Fiona is nice.[(((((triple6) -> rule1)) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] @3: Fiona is not kind.[(((((((triple6) -> rule1)) -> rule2)) -> rule6) OR ((((((triple6) -> rule3)) -> rule2)) -> rule6))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is not kind.
("Dave" "is" "kind" "-")
triple2
((((((triple3) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is not kind.
("Dave" "is" "kind" "-")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple6) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule2 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not kind.
("Fiona" "is" "kind" "-")
((((((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3