Bob is not furry. Charlie is young. Gary is rough. Rough, furry people are not round. If someone is nice then they are round. If someone is quiet then they are round. Round, young people are furry. All furry people are young. If someone is furry then they are nice. If someone is young and not kind then they are rough. All young people are quiet.
Bob is not furry.
("Bob" "is" "furry" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough, furry people are not round.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "round" "-"))
If someone is nice then they are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Round, young people are furry.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
All furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is furry then they are nice.
((("someone" "is" "furry" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and not kind then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
All young people are quiet.
((("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is young.
True
1
proof
[(triple2)]
("Charlie" "is" "young" "+")
triple2
Charlie is not young.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "young" "-")
triple2
Charlie is quiet.
True
2
proof
[(((triple2) -> rule8))]
("Charlie" "is" "quiet" "+")
((triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple2) -> rule8))]
("Charlie" "is" "quiet" "-")
((triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
True
3
proof
[(((((triple2) -> rule8)) -> rule3))]
("Charlie" "is" "round" "+")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not round.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule3))]
("Charlie" "is" "round" "-")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
True
5
proof
[(((((((triple2) -> rule8)) -> rule3) triple2) -> rule4))]
("Charlie" "is" "furry" "+")
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is not furry.
False
5
inv-proof
[(((((((triple2) -> rule8)) -> rule3) triple2) -> rule4))]
("Charlie" "is" "furry" "-")
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not nice.
Unknown
inv-rconc
[@3: Gary is nice.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule5 <- FAIL)]]
("Gary" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is not furry.[(triple1)] Charlie is young.[(triple2)] Gary is rough.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule8))] @2: Charlie is round.[(((((triple2) -> rule8)) -> rule3))] @3: Charlie is furry.[(((((((triple2) -> rule8)) -> rule3) triple2) -> rule4))] @4: Charlie is nice.[(((((((((triple2) -> rule8)) -> rule3) triple2) -> rule4)) -> rule6))]
Bob is not furry.
("Bob" "is" "furry" "-")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2) -> (rule8 % int2))) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple2) -> (rule8 % int3))) -> (rule3 % int2)) triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((((((triple2) -> (rule8 % int4))) -> (rule3 % int3)) triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4