Bob is not blue. Bob is not furry. Bob is not green. Bob is quiet. Dave is quiet. Fiona is furry. Fiona is green. Fiona is red. Harry is blue. Harry is green. If something is green then it is white. If Dave is not green then Dave is white. If something is blue and white then it is furry.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Dave is not green then Dave is white.
((("Dave" "is" "green" "~")) -> ("Dave" "is" "white" "+"))
If something is blue and white then it is furry.
((("something" "is" "blue" "+") ("something" "is" "white" "+")) -> ("something" "is" "furry" "+"))
Bob is quiet.
True
1
proof
[(triple4)]
("Bob" "is" "quiet" "+")
triple4
Bob is furry.
False
1
inv-proof
[(triple2)]
("Bob" "is" "furry" "+")
triple2
Harry is white.
True
2
proof
[(((triple10) -> rule1))]
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple10) -> rule1))]
("Harry" "is" "white" "-")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
True
4
proof
[(((triple9 ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "furry" "+")
((triple9 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is not furry.
False
4
inv-proof
[(((triple9 ((triple10) -> rule1)) -> rule3))]
("Harry" "is" "furry" "-")
((triple9 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "furry" "-")
Bob is white.
Unknown
rconc
[@1: Bob is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "white" "+")
Dave is not white.
Unknown
inv-rconc
[@1: Dave is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "white" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Bob is not blue.[(triple1)] Bob is not furry.[(triple2)] Bob is not green.[(triple3)] Bob is quiet.[(triple4)] Dave is quiet.[(triple5)] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] @1: Fiona is white.[(((triple7) -> rule1))] Harry is white.[(((triple10) -> rule1))] @2: Harry is furry.[(((triple9 ((triple10) -> rule1)) -> rule3))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is not green.
("Bob" "is" "green" "-")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
((triple7) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple9 ((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2