Bob is smart. Bob is white. Bob is young. Erin is kind. Erin is rough. Erin is young. Fiona is blue. Fiona is furry. Fiona is not white. Fiona is young. If something is furry then it is not kind. If Fiona is blue and Fiona is not young then Fiona is kind.
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
If something is furry then it is not kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "-"))
If Fiona is blue and Fiona is not young then Fiona is kind.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "kind" "+"))
Bob is white.
True
1
proof
[(triple2)]
("Bob" "is" "white" "+")
triple2
Fiona is white.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "white" "+")
triple9
Fiona is not kind.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "kind" "-")
((triple8) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is kind.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple6)] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is not white.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is not kind.[(((triple8) -> rule1))]
Bob is smart.
("Bob" "is" "smart" "+")
triple1
Bob is white.
("Bob" "is" "white" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is blue.
("Fiona" "is" "blue" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is not white.
("Fiona" "is" "white" "-")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple8) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1