Anne is big. Anne is blue. Anne is round. Erin is big. Erin is smart. Fiona is blue. Fiona is furry. Fiona is smart. Harry is big. Harry is blue. Harry is furry. Harry is round. All green people are furry. Furry people are smart. If someone is green then they are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
All green people are furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is green then they are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Anne is not blue.
False
1
inv-proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is round.[(triple3)] Erin is big.[(triple4)] Erin is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is smart.[(triple8 OR ((triple7) -> rule2))] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Harry is smart.[(((triple11) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((triple7) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is smart.
("Harry" "is" "smart" "+")
((triple11) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1