Anne is green. Anne is nice. Anne is smart. Dave is big. Dave is kind. Fiona is kind. Fiona is nice. Harry is nice. Harry is smart. Harry is white. If something is white and smart then it is kind. If something is green and nice then it is cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is white and smart then it is kind.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is green and nice then it is cold.
((("something" "is" "green" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
Anne is smart.
True
1
proof
[(triple3)]
("Anne" "is" "smart" "+")
triple3
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not kind.
Unknown
inv-rconc
[@1: Anne is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "kind" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Dave is big.[(triple4)] Dave is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Harry is nice.[(triple8)] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Anne is cold.[(((triple1 triple2) -> rule2))] Harry is kind.[(((triple10 triple9) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is smart.
("Harry" "is" "smart" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 triple2) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple10 triple9) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1