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