Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is rough. Fiona is big. Fiona is nice. Fiona is smart. Gary is cold. Gary is red. Gary is rough. Gary is smart. Harry is big. Harry is red. Harry is rough. Smart, furry people are big. If someone is red and not furry then they are big. Furry, red people are big. All furry, nice people are rough. If Anne is rough and Anne is big then Anne is cold. Rough, nice people are smart. Nice people are smart. If someone is nice and not big then they are not cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Smart, furry people are big.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "big" "+"))
If someone is red and not furry then they are big.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "big" "+"))
Furry, red people are big.
((("someone" "is" "furry" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
All furry, nice people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If Anne is rough and Anne is big then Anne is cold.
((("Anne" "is" "rough" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "cold" "+"))
Rough, nice people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If someone is nice and not big then they are not cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "cold" "-"))
Gary is rough.
True
1
proof
[(triple11)]
("Gary" "is" "rough" "+")
triple11
Fiona is not smart.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule7))]
("Fiona" "is" "smart" "-")
triple8
((triple7) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "smart" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule5))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is nice.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule7))] Gary is cold.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Harry is big.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] @1: Anne is smart.[(((triple3) -> rule7) OR ((triple5 triple3) -> rule6))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5 triple1) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple7) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Anne is smart.
("Anne" "is" "smart" "+")
((triple3) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple5 triple3) -> (rule6 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1