Anne is white. Anne is young. Bob is big. Bob is cold. Bob is quiet. Bob is rough. Dave is cold. Dave is quiet. Harry is round. Harry is young. All rough, quiet things are young. Big, white things are quiet.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough, quiet things are young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Big, white things are quiet.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Bob is rough.
True
1
proof
[(triple6)]
("Bob" "is" "rough" "+")
triple6
Anne is not white.
False
1
inv-proof
[(triple1)]
("Anne" "is" "white" "-")
triple1
Bob is young.
True
3
proof
[(((triple6 triple5) -> rule1))]
("Bob" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("Bob" "is" "young" "-")
((triple6 triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "quiet" "-")
Harry is quiet.
Unknown
rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Bob is big.[(triple3)] Bob is cold.[(triple4)] Bob is quiet.[(triple5)] Bob is rough.[(triple6)] Dave is cold.[(triple7)] Dave is quiet.[(triple8)] Harry is round.[(triple9)] Harry is young.[(triple10)] @1: Bob is young.[(((triple6 triple5) -> rule1))]
Anne is white.
("Anne" "is" "white" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Bob is big.
("Bob" "is" "big" "+")
triple3
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1