Bob is green. Bob is young. Charlie is round. Charlie is young. Dave is cold. Dave is kind. Harry is green. All furry people are white. All green people are furry.
Bob is green.
("Bob" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
All furry people are white.
((("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple2)]
("Bob" "is" "young" "-")
triple2
Bob is furry.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple7) -> rule2))]
("Harry" "is" "furry" "-")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "furry" "-")
Dave is white.
Unknown
rconc
[@2: Dave is white.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "white" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is green.[(triple1)] Bob is young.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Dave is cold.[(triple5)] Dave is kind.[(triple6)] Harry is green.[(triple7)] @1: Bob is furry.[(((triple1) -> rule2))] Harry is furry.[(((triple7) -> rule2))] @2: Bob is white.[(((((triple1) -> rule2)) -> rule1))] Harry is white.[(((((triple7) -> rule2)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
((triple1) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2