Bob is furry. Bob is red. Bob is white. Charlie is not kind. Dave is furry. Dave is red. Fiona is smart. If Fiona is furry then Fiona is smart. Smart people are kind. All smart, kind people are rough. All red, smart people are not white. If someone is furry then they are red. Kind people are furry. If someone is kind and not white then they are young.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is furry then Fiona is smart.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "smart" "+"))
Smart people are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
All smart, kind people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All red, smart people are not white.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is kind and not white then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "young" "+"))
Fiona is smart.
True
1
proof
[(triple7)]
("Fiona" "is" "smart" "+")
triple7
Bob is not furry.
False
1
inv-proof
[(triple1)]
("Bob" "is" "furry" "-")
triple1
Fiona is kind.
True
2
proof
[(((triple7) -> rule2))]
("Fiona" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple7) -> rule2))]
("Fiona" "is" "kind" "-")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
True
4
proof
[(((triple7 ((triple7) -> rule2)) -> rule3))]
("Fiona" "is" "rough" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not rough.
False
4
inv-proof
[(((triple7 ((triple7) -> rule2)) -> rule3))]
("Fiona" "is" "rough" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
True
4
proof
[(((((((triple7) -> rule2)) -> rule6)) -> rule5))]
("Fiona" "is" "red" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not red.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule6)) -> rule5))]
("Fiona" "is" "red" "-")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
True
6
proof
[(((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4))]
("Fiona" "is" "white" "-")
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is white.
False
6
inv-proof
[(((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4))]
("Fiona" "is" "white" "+")
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
True
9
proof
[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4)) -> rule7))]
("Fiona" "is" "young" "+")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not young.
False
9
inv-proof
[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4)) -> rule7))]
("Fiona" "is" "young" "-")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "young" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "furry" "+")
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "red" "+")
Dave is not white.
Unknown
inv-random
[@0: Dave is white.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "white" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Bob is furry.[(triple1)] Bob is red.[(triple2 OR ((triple1) -> rule5))] Bob is white.[(triple3)] Charlie is not kind.[(triple4)] Dave is furry.[(triple5)] Dave is red.[(triple6 OR ((triple5) -> rule5))] Fiona is smart.[(triple7)] @1: Fiona is kind.[(((triple7) -> rule2))] @2: Fiona is furry.[(((((triple7) -> rule2)) -> rule6))] Fiona is rough.[(((triple7 ((triple7) -> rule2)) -> rule3))] @3: Fiona is red.[(((((((triple7) -> rule2)) -> rule6)) -> rule5))] @4: Fiona is not white.[(((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4))] @5: Fiona is young.[(((((triple7) -> rule2) ((((((((triple7) -> rule2)) -> rule6)) -> rule5) triple7) -> rule4)) -> rule7))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
((triple1) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple3
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
((triple5) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is not white.
("Fiona" "is" "white" "-")
((((((((triple7) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule5 % int2)) triple7) -> (rule4 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
((((triple7) -> (rule2 % int5)) ((((((((triple7) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule5 % int3)) triple7) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not white.
("Fiona" "is" "white" "-")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5