Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is not young. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is not kind. Fiona is not nice. Gary is big. Gary is blue. Gary is not nice. Gary is quiet. If someone is young and furry then they are quiet. Furry people are quiet. If someone is nice and young then they are not quiet. All kind people are big. Furry, quiet people are big. All kind, blue people are big. If someone is kind then they are big. If Charlie is kind then Charlie is quiet.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
If someone is young and furry then they are quiet.
((("someone" "is" "young" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is nice and young then they are not quiet.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "-"))
All kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Furry, quiet people are big.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
All kind, blue people are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is kind then they are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Charlie is kind then Charlie is quiet.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "quiet" "+"))
Charlie is furry.
True
1
proof
[(triple3)]
("Charlie" "is" "furry" "+")
triple3
Fiona is not blue.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "blue" "-")
triple9
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Charlie is big.[(triple1 OR ((triple4) -> rule4) OR ((triple4) -> rule7) OR ((triple3 triple6) -> rule5) OR ((triple4 triple2) -> rule6) OR ((triple3 ((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple4) -> rule8)) -> rule5))] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5)] Charlie is not young.[(triple7)] Charlie is quiet.[(triple6 OR ((triple3) -> rule2) OR ((triple4) -> rule8))] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is not furry.[(triple10)] Fiona is not kind.[(triple11)] Fiona is not nice.[(triple12)] Gary is big.[(triple13)] Gary is blue.[(triple14)] Gary is not nice.[(triple15)] Gary is quiet.[(triple16)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple4) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3 triple6) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 triple2) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple3 ((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is not young.
("Charlie" "is" "young" "-")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple6
((triple3) -> (rule2 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple4) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple10
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple11
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
Gary is not nice.
("Gary" "is" "nice" "-")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple16