Bob is not big. Bob is not cold. Bob is not furry. Bob is not green. Bob is red. Bob is not smart. Charlie is big. Charlie is cold. Charlie is furry. Charlie is smart. Dave is not big. Dave is not cold. Dave is green. Dave is red. Dave is smart. Dave is young. If someone is furry then they are young.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
If someone is furry then they are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
Charlie is furry.
True
1
proof
[(triple9)]
("Charlie" "is" "furry" "+")
triple9
Bob is furry.
False
1
inv-proof
[(triple3)]
("Bob" "is" "furry" "+")
triple3
Charlie is young.
True
2
proof
[(((triple9) -> rule1))]
("Charlie" "is" "young" "+")
((triple9) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple9) -> rule1))]
("Charlie" "is" "young" "-")
((triple9) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is not big.[(triple1)] Bob is not cold.[(triple2)] Bob is not furry.[(triple3)] Bob is not green.[(triple4)] Bob is not smart.[(triple6)] Bob is red.[(triple5)] Charlie is big.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is smart.[(triple10)] Dave is green.[(triple13)] Dave is not big.[(triple11)] Dave is not cold.[(triple12)] Dave is red.[(triple14)] Dave is smart.[(triple15)] Dave is young.[(triple16)] @1: Charlie is young.[(((triple9) -> rule1))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is not furry.
("Bob" "is" "furry" "-")
triple3
Bob is not green.
("Bob" "is" "green" "-")
triple4
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple5
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is cold.
("Charlie" "is" "cold" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is smart.
("Charlie" "is" "smart" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple13
Dave is not big.
("Dave" "is" "big" "-")
triple11
Dave is not cold.
("Dave" "is" "cold" "-")
triple12
Dave is red.
("Dave" "is" "red" "+")
triple14
Dave is smart.
("Dave" "is" "smart" "+")
triple15
Dave is young.
("Dave" "is" "young" "+")
triple16
Charlie is young.
("Charlie" "is" "young" "+")
((triple9) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1