Anne is not blue. Anne is cold. Anne is furry. Bob is cold. Fiona is blue. Harry is not green. Harry is white. All cold things are smart.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is white.
("Harry" "is" "white" "+")
All cold things are smart.
((("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
Fiona is blue.
True
1
proof
[(triple5)]
("Fiona" "is" "blue" "+")
triple5
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Bob is smart.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Anne is not smart.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "smart" "-")
((triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "smart" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not blue.[(triple1)] Bob is cold.[(triple4)] Fiona is blue.[(triple5)] Harry is not green.[(triple6)] Harry is white.[(triple7)] @1: Anne is smart.[(((triple2) -> rule1))] Bob is smart.[(((triple4) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Harry is not green.
("Harry" "is" "green" "-")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Anne is smart.
("Anne" "is" "smart" "+")
((triple2) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1