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