Anne is cold. Anne is green. Fiona is nice. Fiona is round. Fiona is smart. Gary is cold. Gary is green. Gary is nice. Gary is round. Harry is not blue. Harry is not cold. Harry is green. Harry is nice. Harry is not round. Harry is smart. Harry is not white. If Fiona is blue then Fiona is nice. If Fiona is cold and Fiona is not blue then Fiona is round. If Fiona is green and Fiona is not cold then Fiona is round. Blue, nice people are not white. Blue people are smart. If someone is white and not nice then they are not smart. All cold, round people are not smart. If someone is blue and not nice then they are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is not white.
("Harry" "is" "white" "-")
If Fiona is blue then Fiona is nice.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "nice" "+"))
If Fiona is cold and Fiona is not blue then Fiona is round.
((("Fiona" "is" "cold" "+") ("Fiona" "is" "blue" "~")) -> ("Fiona" "is" "round" "+"))
If Fiona is green and Fiona is not cold then Fiona is round.
((("Fiona" "is" "green" "+") ("Fiona" "is" "cold" "~")) -> ("Fiona" "is" "round" "+"))
Blue, nice people are not white.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "-"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
If someone is white and not nice then they are not smart.
((("someone" "is" "white" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "smart" "-"))
All cold, round people are not smart.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "-"))
If someone is blue and not nice then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "round" "+"))
Fiona is smart.
True
1
proof
[(triple5)]
("Fiona" "is" "smart" "+")
triple5
Harry is cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "+")
triple11
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Gary is cold.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is round.[(triple9)] Harry is green.[(triple12)] Harry is nice.[(triple13)] Harry is not blue.[(triple10)] Harry is not cold.[(triple11)] Harry is not round.[(triple14)] Harry is not white.[(triple16)] Harry is smart.[(triple15)] @1: Gary is not smart.[(((triple6 triple9) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is not blue.
("Harry" "is" "blue" "-")
triple10
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is not round.
("Harry" "is" "round" "-")
triple14
Harry is not white.
("Harry" "is" "white" "-")
triple16
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Gary is not smart.
("Gary" "is" "smart" "-")
((triple6 triple9) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1