Anne is round. Anne is white. Charlie is furry. Charlie is not round. Charlie is young. Erin is not furry. Erin is quiet. Erin is not red. Erin is round. Erin is white. Harry is not quiet. Harry is red. If something is rough then it is white. Red things are rough.
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Erin is quiet.
True
1
proof
[(triple7)]
("Erin" "is" "quiet" "+")
triple7
Erin is not round.
False
1
inv-proof
[(triple9)]
("Erin" "is" "round" "-")
triple9
Harry is rough.
True
2
proof
[(((triple12) -> rule2))]
("Harry" "is" "rough" "+")
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple12) -> rule2))]
("Harry" "is" "rough" "-")
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
True
3
proof
[(((((triple12) -> rule2)) -> rule1))]
("Harry" "is" "white" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule1))]
("Harry" "is" "white" "-")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Charlie is not white.
Unknown
inv-rconc
[@2: Charlie is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "white" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Charlie is furry.[(triple3)] Charlie is not round.[(triple4)] Charlie is young.[(triple5)] Erin is not furry.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Erin is round.[(triple9)] Erin is white.[(triple10)] Harry is not quiet.[(triple11)] Harry is red.[(triple12)] @1: Harry is rough.[(((triple12) -> rule2))] @2: Harry is white.[(((((triple12) -> rule2)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is not round.
("Charlie" "is" "round" "-")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is not furry.
("Erin" "is" "furry" "-")
triple6
Erin is not red.
("Erin" "is" "red" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple9
Erin is white.
("Erin" "is" "white" "+")
triple10
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
((triple12) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2