Anne is kind. Charlie is green. Charlie is round. Charlie is smart. Erin is big. Erin is kind. Erin is round. Erin is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is round. If something is big and not round then it is not rough. All round, green things are rough. Kind things are rough. If something is rough and not furry then it is kind. If something is green and not round then it is not smart. If something is round and not furry then it is smart.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is big and not round then it is not rough.
((("something" "is" "big" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "-"))
All round, green things are rough.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Kind things are rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is rough and not furry then it is kind.
((("something" "is" "rough" "+") ("something" "is" "furry" "~")) -> ("something" "is" "kind" "+"))
If something is green and not round then it is not smart.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "-"))
If something is round and not furry then it is smart.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "smart" "+"))
Fiona is big.
True
1
proof
[(triple9)]
("Fiona" "is" "big" "+")
triple9
Erin is not big.
False
1
inv-proof
[(triple5)]
("Erin" "is" "big" "-")
triple5
Charlie is rough.
True
3
proof
[(((triple3 triple2) -> rule2))]
("Charlie" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "rough" "-")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Fiona is smart.
Unknown
rconc
[@1: Fiona is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "smart" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is kind.[(triple1)] Charlie is green.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)] Erin is smart.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10)] Fiona is kind.[(triple11)] Fiona is round.[(triple12)] @1: Anne is rough.[(((triple1) -> rule3))] Charlie is rough.[(((triple3 triple2) -> rule2))] Erin is rough.[(((triple6) -> rule3))] Fiona is rough.[(((triple11) -> rule3))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Erin is round.
("Erin" "is" "round" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3 triple2) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple11) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1