Anne is rough. Erin is not quiet. Erin is not rough. Erin is smart. Erin is young. Fiona is kind. Fiona is quiet. Fiona is not rough. Fiona is not young. Harry is round. Harry is smart. Harry is young. If Anne is smart and Anne is quiet then Anne is rough. All green things are smart. If Harry is round and Harry is not rough then Harry is kind. All round things are not kind. All smart things are young. If something is kind and rough then it is not young. Kind, rough things are young. If something is smart and not rough then it is round.
Anne is rough.
("Anne" "is" "rough" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is not young.
("Fiona" "is" "young" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is young.
("Harry" "is" "young" "+")
If Anne is smart and Anne is quiet then Anne is rough.
((("Anne" "is" "smart" "+") ("Anne" "is" "quiet" "+")) -> ("Anne" "is" "rough" "+"))
All green things are smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
If Harry is round and Harry is not rough then Harry is kind.
((("Harry" "is" "round" "+") ("Harry" "is" "rough" "~")) -> ("Harry" "is" "kind" "+"))
All round things are not kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "-"))
All smart things are young.
((("something" "is" "smart" "+")) -> ("something" "is" "young" "+"))
If something is kind and rough then it is not young.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "-"))
Kind, rough things are young.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is smart and not rough then it is round.
((("something" "is" "smart" "+") ("something" "is" "rough" "~")) -> ("something" "is" "round" "+"))
Erin is smart.
True
1
proof
[(triple4)]
("Erin" "is" "smart" "+")
triple4
Harry is not young.
False
1
inv-proof
[(triple12 OR ((triple11) -> rule5))]
("Harry" "is" "young" "-")
triple12
((triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is round.
True
3
proof
[(((triple4 triple3) -> rule8))]
("Erin" "is" "round" "+")
((triple4 triple3) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple4 triple3) -> rule8))]
("Erin" "is" "round" "-")
((triple4 triple3) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is not kind.
True
4
proof
[(((((triple4 triple3) -> rule8)) -> rule4))]
("Erin" "is" "kind" "-")
((((triple4 triple3) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
False
4
inv-proof
[(((((triple4 triple3) -> rule8)) -> rule4))]
("Erin" "is" "kind" "+")
((((triple4 triple3) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Fiona is not round.
Unknown
inv-rconc
[@1: Fiona is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "round" "+")
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is rough.[(triple1)] Erin is not quiet.[(triple2)] Erin is not rough.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5 OR ((triple4) -> rule5))] Fiona is kind.[(triple6)] Fiona is not rough.[(triple8)] Fiona is not young.[(triple9)] Fiona is quiet.[(triple7)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is young.[(triple12 OR ((triple11) -> rule5))] @1: Erin is round.[(((triple4 triple3) -> rule8))] Harry is not kind.[(((triple10) -> rule4))] @2: Erin is not kind.[(((((triple4 triple3) -> rule8)) -> rule4))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple2
Erin is not rough.
("Erin" "is" "rough" "-")
triple3
Erin is smart.
("Erin" "is" "smart" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
((triple4) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is smart.
("Harry" "is" "smart" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12
((triple11) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple4 triple3) -> (rule8 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Harry is not kind.
("Harry" "is" "kind" "-")
((triple10) -> (rule4 % int1))
Harry is not kind.
("Harry" "is" "kind" "-")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
((((triple4 triple3) -> (rule8 % int2))) -> (rule4 % int1))
Erin is not kind.
("Erin" "is" "kind" "-")
int1
Erin is round.
("Erin" "is" "round" "+")
int2