Anne is cold. Anne is rough. Anne is young. Erin is quiet. Erin is not rough. Erin is young. Fiona is cold. Fiona is quiet. Fiona is white. Harry is quiet. Harry is round. Harry is white. If Fiona is not rough then Fiona is quiet. If Fiona is kind then Fiona is not quiet. All kind people are quiet. If Erin is round then Erin is young. If someone is rough then they are kind. All quiet people are white. All kind people are not round. If Fiona is rough and Fiona is not quiet then Fiona is white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is young.
("Erin" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If Fiona is not rough then Fiona is quiet.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "quiet" "+"))
If Fiona is kind then Fiona is not quiet.
((("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "quiet" "-"))
All kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is round then Erin is young.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "young" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All kind people are not round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "-"))
If Fiona is rough and Fiona is not quiet then Fiona is white.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "quiet" "~")) -> ("Fiona" "is" "white" "+"))
Harry is quiet.
True
1
proof
[(triple10)]
("Harry" "is" "quiet" "+")
triple10
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Erin is white.
True
2
proof
[(((triple4) -> rule6))]
("Erin" "is" "white" "+")
((triple4) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not kind.
False
2
inv-proof
[(((triple2) -> rule5))]
("Anne" "is" "kind" "-")
((triple2) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
True
3
proof
[(((((triple2) -> rule5)) -> rule3))]
("Anne" "is" "quiet" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule7))]
("Anne" "is" "round" "+")
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
True
4
proof
[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]
("Anne" "is" "white" "+")
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is not white.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]
("Anne" "is" "white" "-")
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is not kind.
Unknown
inv-rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "kind" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "+")
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Erin is not rough.[(triple5)] Erin is quiet.[(triple4)] Erin is young.[(triple6)] Fiona is cold.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9 OR ((triple8) -> rule6))] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule6))] @1: Anne is kind.[(((triple2) -> rule5))] Erin is white.[(((triple4) -> rule6))] @2: Anne is not round.[(((((triple2) -> rule5)) -> rule7))] Anne is quiet.[(((((triple2) -> rule5)) -> rule3))] @3: Anne is white.[(((((((triple2) -> rule5)) -> rule3)) -> rule6))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Erin is not rough.
("Erin" "is" "rough" "-")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((triple8) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is white.
("Harry" "is" "white" "+")
triple12
((triple10) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple2) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple4) -> (rule6 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Anne is not round.
("Anne" "is" "round" "-")
((((triple2) -> (rule5 % int2))) -> (rule7 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((((triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3