Bob is blue. Bob is kind. Bob is not red. Bob is white. Fiona is quiet. Fiona is red. Fiona is young. Kind people are not young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is white.
("Bob" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Kind people are not young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "-"))
Bob is kind.
True
1
proof
[(triple2)]
("Bob" "is" "kind" "+")
triple2
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Bob is not young.
True
2
proof
[(((triple2) -> rule1))]
("Bob" "is" "young" "-")
((triple2) -> (rule1 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Bob is young.
False
2
inv-proof
[(((triple2) -> rule1))]
("Bob" "is" "young" "+")
((triple2) -> (rule1 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is white.
Unknown
random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is not red.[(triple3)] Bob is white.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)] @1: Bob is not young.[(((triple2) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Bob is not young.
("Bob" "is" "young" "-")
((triple2) -> (rule1 % int1))
Bob is not young.
("Bob" "is" "young" "-")
int1