Bob is not blue. Bob is not green. Bob is quiet. Bob is round. Bob is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is not quiet. Fiona is white. All green people are round.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is round.
("Bob" "is" "round" "+")
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 not quiet.
("Fiona" "is" "quiet" "-")
Fiona is white.
("Fiona" "is" "white" "+")
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Bob is white.
True
1
proof
[(triple5)]
("Bob" "is" "white" "+")
triple5
Fiona is not white.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "white" "-")
triple10
Fiona is round.
True
2
proof
[(((triple7) -> rule1))]
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("Fiona" "is" "round" "-")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not blue.[(triple1)] Bob is not green.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is round.[(((triple7) -> rule1))]
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
((triple7) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1