Anne is rough. Anne is young. Bob is kind. Bob is quiet. Bob is white. Bob is young. Fiona is furry. Fiona is round. Fiona is white. Harry is rough. Round people are quiet. If someone is furry then they are rough. If someone is young and rough then they are round.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough then they are round.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Harry is rough.
True
1
proof
[(triple10)]
("Harry" "is" "rough" "+")
triple10
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Anne is round.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Anne" "is" "round" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is not rough.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "rough" "-")
((triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is quiet.
True
4
proof
[(((((triple2 triple1) -> rule3)) -> rule1))]
("Anne" "is" "quiet" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is not quiet.
False
4
inv-proof
[(((((triple2 triple1) -> rule3)) -> rule1))]
("Anne" "is" "quiet" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not quiet.
Unknown
inv-rconc
[@2: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "quiet" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is rough.[(triple1)] Anne is young.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Harry is rough.[(triple10)] @1: Anne is round.[(((triple2 triple1) -> rule3))] Fiona is quiet.[(((triple8) -> rule1))] Fiona is rough.[(((triple7) -> rule2))] @2: Anne is quiet.[(((((triple2 triple1) -> rule3)) -> rule1))]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple2 triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2