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