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