Bob is not big. Bob is blue. Bob is cold. Bob is green. Dave is not big. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is red. Erin is cold. Erin is furry. Fiona is big. Fiona is not green. Fiona is red. If someone is big and not green then they are cold.
Bob is not big.
("Bob" "is" "big" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is not big.
("Dave" "is" "big" "-")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is big and not green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple11)]
("Erin" "is" "cold" "+")
triple11
Fiona is not red.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "red" "-")
triple15
Fiona is cold.
True
3
proof
[(((triple13 triple14) -> rule1))]
("Fiona" "is" "cold" "+")
((triple13 triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
3
inv-proof
[(((triple13 triple14) -> rule1))]
("Fiona" "is" "cold" "-")
((triple13 triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is not big.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple7)] Dave is green.[(triple8)] Dave is nice.[(triple9)] Dave is not big.[(triple5)] Dave is red.[(triple10)] Erin is cold.[(triple11)] Erin is furry.[(triple12)] Fiona is big.[(triple13)] Fiona is not green.[(triple14)] Fiona is red.[(triple15)] @1: Fiona is cold.[(((triple13 triple14) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is not big.
("Bob" "is" "big" "-")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is not big.
("Dave" "is" "big" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple10
Erin is cold.
("Erin" "is" "cold" "+")
triple11
Erin is furry.
("Erin" "is" "furry" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
Fiona is not green.
("Fiona" "is" "green" "-")
triple14
Fiona is red.
("Fiona" "is" "red" "+")
triple15
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple13 triple14) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1