Anne is blue. Anne is cold. Anne is nice. Anne is red. Dave is big. Dave is nice. Fiona is red. Fiona is smart. Harry is big. Harry is cold. If someone is red and not cold then they are smart. If Fiona is red and Fiona is cold then Fiona is not smart. All smart people are nice. If someone is cold then they are green. If Dave is cold and Dave is not green then Dave is not big. If Anne is not green and Anne is not big then Anne is nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and not cold then they are smart.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "smart" "+"))
If Fiona is red and Fiona is cold then Fiona is not smart.
((("Fiona" "is" "red" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "smart" "-"))
All smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are green.
((("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If Dave is cold and Dave is not green then Dave is not big.
((("Dave" "is" "cold" "+") ("Dave" "is" "green" "~")) -> ("Dave" "is" "big" "-"))
If Anne is not green and Anne is not big then Anne is nice.
((("Anne" "is" "green" "~") ("Anne" "is" "big" "~")) -> ("Anne" "is" "nice" "+"))
Anne is nice.
True
1
proof
[(triple3)]
("Anne" "is" "nice" "+")
triple3
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "green" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Fiona is red.[(triple7)] Fiona is smart.[(triple8)] Harry is big.[(triple9)] Harry is cold.[(triple10)] @1: Anne is green.[(((triple2) -> rule4))] Fiona is nice.[(((triple8) -> rule3))] Harry is green.[(((triple10) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Anne is green.
("Anne" "is" "green" "+")
((triple2) -> (rule4 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple8) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1