Bob is big. Bob is cold. Bob is furry. Bob is smart. Bob is not white. Bob is not young. Dave is not cold. Dave is not furry. Dave is not smart. Dave is white. Erin is blue. Erin is cold. Erin is furry. Erin is not smart. Fiona is big. Fiona is young. All young, furry things are not white. If something is furry and smart then it is not blue.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is not young.
("Bob" "is" "young" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is not furry.
("Dave" "is" "furry" "-")
Dave is not smart.
("Dave" "is" "smart" "-")
Dave is white.
("Dave" "is" "white" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young, furry things are not white.
((("something" "is" "young" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
If something is furry and smart then it is not blue.
((("something" "is" "furry" "+") ("something" "is" "smart" "+")) -> ("something" "is" "blue" "-"))
Fiona is big.
True
1
proof
[(triple15)]
("Fiona" "is" "big" "+")
triple15
Bob is not smart.
False
1
inv-proof
[(triple4)]
("Bob" "is" "smart" "-")
triple4
Bob is not blue.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "blue" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Bob is blue.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Bob" "is" "blue" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is not white.[(triple5)] Bob is not young.[(triple6)] Bob is smart.[(triple4)] Dave is not cold.[(triple7)] Dave is not furry.[(triple8)] Dave is not smart.[(triple9)] Dave is white.[(triple10)] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is not smart.[(triple14)] Fiona is big.[(triple15)] Fiona is young.[(triple16)] @1: Bob is not blue.[(((triple3 triple4) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is not white.
("Bob" "is" "white" "-")
triple5
Bob is not young.
("Bob" "is" "young" "-")
triple6
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple7
Dave is not furry.
("Dave" "is" "furry" "-")
triple8
Dave is not smart.
("Dave" "is" "smart" "-")
triple9
Dave is white.
("Dave" "is" "white" "+")
triple10
Erin is blue.
("Erin" "is" "blue" "+")
triple11
Erin is cold.
("Erin" "is" "cold" "+")
triple12
Erin is furry.
("Erin" "is" "furry" "+")
triple13
Erin is not smart.
("Erin" "is" "smart" "-")
triple14
Fiona is big.
("Fiona" "is" "big" "+")
triple15
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Bob is not blue.
("Bob" "is" "blue" "-")
((triple3 triple4) -> (rule2 % int1))
Bob is not blue.
("Bob" "is" "blue" "-")
int1