Bob is blue. Bob is not cold. Bob is red. Bob is round. Fiona is big. Fiona is blue. Fiona is not kind. Fiona is red. Fiona is not round. Fiona is white. If something is cold and not round then it is not big. All blue things are big.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If something is cold and not round then it is not big.
((("something" "is" "cold" "+") ("something" "is" "round" "~")) -> ("something" "is" "big" "-"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
Fiona is blue.
True
1
proof
[(triple6)]
("Fiona" "is" "blue" "+")
triple6
Fiona is kind.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "kind" "+")
triple7
Bob is big.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "big" "-")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is not cold.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Fiona is big.[(triple5 OR ((triple6) -> rule2))] Fiona is blue.[(triple6)] Fiona is not kind.[(triple7)] Fiona is not round.[(triple9)] Fiona is red.[(triple8)] Fiona is white.[(triple10)] @1: Bob is big.[(((triple1) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is not cold.
("Bob" "is" "cold" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
((triple6) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple7
Fiona is not round.
("Fiona" "is" "round" "-")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1