Erin is big. Erin is furry. Erin is green. Erin is not rough. Erin is round. Erin is smart. Fiona is big. Fiona is blue. Fiona is not green. Fiona is not rough. Fiona is round. Fiona is smart. All rough things are green. If something is rough and smart then it is big. Blue things are round. If Fiona is green then Fiona is blue. Green, big things are smart. All rough things are not blue. If Fiona is rough then Fiona is green. If Fiona is smart and Fiona is green then Fiona is furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is rough and smart then it is big.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If Fiona is green then Fiona is blue.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "blue" "+"))
Green, big things are smart.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All rough things are not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
If Fiona is rough then Fiona is green.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "green" "+"))
If Fiona is smart and Fiona is green then Fiona is furry.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "furry" "+"))
Erin is not rough.
True
1
proof
[(triple4)]
("Erin" "is" "rough" "-")
triple4
Fiona is not smart.
False
1
inv-proof
[(triple12)]
("Fiona" "is" "smart" "-")
triple12
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "furry" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple3 triple1) -> rule5))] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is not green.[(triple9)] Fiona is not rough.[(triple10)] Fiona is round.[(triple11 OR ((triple8) -> rule3))] Fiona is smart.[(triple12)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is not rough.
("Erin" "is" "rough" "-")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
((triple3 triple1) -> (rule5 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is not green.
("Fiona" "is" "green" "-")
triple9
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple10
Fiona is round.
("Fiona" "is" "round" "+")
triple11
((triple8) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12