Bob is round. Fiona is cold. Fiona is kind. Gary is blue. Gary is kind. Gary is not round. Gary is not smart. If someone is round then they are not cold.
Bob is round.
("Bob" "is" "round" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not round.
("Gary" "is" "round" "-")
Gary is not smart.
("Gary" "is" "smart" "-")
If someone is round then they are not cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "-"))
Bob is round.
True
1
proof
[(triple1)]
("Bob" "is" "round" "+")
triple1
Fiona is not kind.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "kind" "-")
triple3
Bob is not cold.
True
2
proof
[(((triple1) -> rule1))]
("Bob" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is cold.
False
2
inv-proof
[(((triple1) -> rule1))]
("Bob" "is" "cold" "+")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
@0: Bob is round.[(triple1)] Fiona is cold.[(triple2)] Fiona is kind.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is not round.[(triple6)] Gary is not smart.[(triple7)] @1: Bob is not cold.[(((triple1) -> rule1))]
Bob is round.
("Bob" "is" "round" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Gary is not round.
("Gary" "is" "round" "-")
triple6
Gary is not smart.
("Gary" "is" "smart" "-")
triple7
Bob is not cold.
("Bob" "is" "cold" "-")
((triple1) -> (rule1 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1