Bob is not cold. Bob is furry. Bob is green. Bob is kind. Bob is not nice. Bob is not smart. Bob is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Gary is cold. Gary is kind. Gary is smart. Gary is white. Smart things are green.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is not smart.
("Bob" "is" "smart" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Fiona is nice.
True
1
proof
[(triple11)]
("Fiona" "is" "nice" "+")
triple11
Gary is not kind.
False
1
inv-proof
[(triple13)]
("Gary" "is" "kind" "-")
triple13
Gary is green.
True
2
proof
[(((triple14) -> rule1))]
("Gary" "is" "green" "+")
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple14) -> rule1))]
("Gary" "is" "green" "-")
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is kind.[(triple4)] Bob is not cold.[(triple1)] Bob is not nice.[(triple5)] Bob is not smart.[(triple6)] Bob is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is nice.[(triple11)] Gary is cold.[(triple12)] Gary is kind.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is green.[(((triple14) -> rule1))]
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is not nice.
("Bob" "is" "nice" "-")
triple5
Bob is not smart.
("Bob" "is" "smart" "-")
triple6
Bob is white.
("Bob" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1