Bob is cold. Bob is not red. Bob is round. Fiona is not kind. Fiona is not red. Fiona is rough. Fiona is white. Kind, round things are not furry. All round things are kind.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not red.
("Bob" "is" "red" "-")
Bob is round.
("Bob" "is" "round" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Kind, round things are not furry.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "furry" "-"))
All round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
Fiona is not kind.
True
1
proof
[(triple4)]
("Fiona" "is" "kind" "-")
triple4
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Bob is kind.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not kind.
False
2
inv-proof
[(((triple3) -> rule2))]
("Bob" "is" "kind" "-")
((triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not furry.
True
4
proof
[(((((triple3) -> rule2) triple3) -> rule1))]
("Bob" "is" "furry" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
False
4
inv-proof
[(((((triple3) -> rule2) triple3) -> rule1))]
("Bob" "is" "furry" "+")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Bob is cold.[(triple1)] Bob is not red.[(triple2)] Bob is round.[(triple3)] Fiona is not kind.[(triple4)] Fiona is not red.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] @1: Bob is kind.[(((triple3) -> rule2))] @2: Bob is not furry.[(((((triple3) -> rule2) triple3) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple4
Fiona is not red.
("Fiona" "is" "red" "-")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is not furry.
("Bob" "is" "furry" "-")
((((triple3) -> (rule2 % int2)) triple3) -> (rule1 % int1))
Bob is not furry.
("Bob" "is" "furry" "-")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2