Charlie is furry. Charlie is rough. Charlie is smart. Charlie is not white. Charlie is not young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Fiona is not young. Gary is rough. Gary is smart. Gary is white. Gary is not young. If something is kind then it is big. If something is white and smart then it is furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Charlie is not young.
("Charlie" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is not young.
("Gary" "is" "young" "-")
If something is kind then it is big.
((("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
If something is white and smart then it is furry.
((("something" "is" "white" "+") ("something" "is" "smart" "+")) -> ("something" "is" "furry" "+"))
Fiona is kind.
True
1
proof
[(triple8)]
("Fiona" "is" "kind" "+")
triple8
Fiona is not rough.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "rough" "-")
triple9
Gary is furry.
True
3
proof
[(((triple15 triple14) -> rule2))]
("Gary" "is" "furry" "+")
((triple15 triple14) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
3
inv-proof
[(((triple15 triple14) -> rule2))]
("Gary" "is" "furry" "-")
((triple15 triple14) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is furry.[(triple1)] Charlie is not white.[(triple4)] Charlie is not young.[(triple5)] Charlie is rough.[(triple2)] Charlie is smart.[(triple3)] Fiona is big.[(triple6 OR ((triple8) -> rule1))] Fiona is furry.[(triple7 OR ((triple11 triple10) -> rule2))] Fiona is kind.[(triple8)] Fiona is not young.[(triple12)] Fiona is rough.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Gary is not young.[(triple16)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is white.[(triple15)] @1: Gary is furry.[(((triple15 triple14) -> rule2))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is not white.
("Charlie" "is" "white" "-")
triple4
Charlie is not young.
("Charlie" "is" "young" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple8) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple11 triple10) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not young.
("Fiona" "is" "young" "-")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is not young.
("Gary" "is" "young" "-")
triple16
Gary is rough.
("Gary" "is" "rough" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is furry.
("Gary" "is" "furry" "+")
((triple15 triple14) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1