Bob is not blue. Bob is green. Bob is nice. Bob is red. Bob is smart. Bob is not white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is red. Fiona is smart. Fiona is white. Gary is blue. Gary is smart. Blue people are green.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Bob is not white.
True
1
proof
[(triple6)]
("Bob" "is" "white" "-")
triple6
Fiona is not red.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "red" "-")
triple11
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 cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not blue.[(triple1)] Bob is not white.[(triple6)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is green.[(triple9 OR ((triple7) -> rule1))] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)] Gary is blue.[(triple14)] Gary is smart.[(triple15)] @1: Gary is green.[(((triple14) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not white.
("Bob" "is" "white" "-")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple4
Bob is smart.
("Bob" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
((triple7) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Gary is green.
("Gary" "is" "green" "+")
((triple14) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1